blob: a33d5b24ad17e0a7bfd3c6156ebafa4d609c4b0f (
plain) (
tree)
|
|
{-# LANGUAGE TypeOperators, TypeFamilies #-}
module Bug722 where
class Foo a where
(!@#) :: a -> a -> a
infixl 4 !@#
type family (&*) :: * -> * -> *
infixr 3 &*
data a :-& b = a :^& b
infixl 6 :-&, :^&
|