Safe HaskellSafe-Inferred
LanguageHaskell2010

Bug8

Documentation

data Typ #

Constructors

Type (Typ, [Typ]) 
TFree (Typ, [Typ]) 

(-->) :: p -> p -> Typ infix 9 #

(--->) :: Foldable t0 => t0 t -> Typ -> Typ infix 9 #

s :: a #

t :: a #

main :: a #