Safe HaskellSafe-Inferred

Bug8

Documentation

data Typ

Constructors

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

infix 9 -->
(-->) :: t -> t1 -> Typ

infix 9 --->
(--->) :: [a] -> Typ -> Typ

s :: t

t :: t

main :: t