Bug8
data Typ
Constructors
infix 9 -->(-->) :: t -> t1 -> Typ
infix 9 --->(--->) :: [a] -> Typ -> Typ
s :: t
t :: t
main :: t