Bug8
data Typ
Constructors
(-->) :: t -> t1 -> Typ infix 9
(--->) :: Foldable t0 => t0 t -> Typ -> Typ infix 9
s :: a
t :: a
main :: a