blob: 30afae1f68dafd45910d750b880c26d81415f8ce (
plain) (
tree)
|
|
module Bug8 where
infix -->
infix --->
data Typ = Type (Typ,[Typ])
| TFree (Typ, [Typ])
x --> y = Type(s,[s,t])
(--->) :: (Foldable t0) => t0 t -> Typ -> Typ
(--->) = flip $ foldr (-->)
s = undefined
t = undefined
main = undefined
|