blob: a33d5b24ad17e0a7bfd3c6156ebafa4d609c4b0f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# 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 :-&, :^&
|