Safe HaskellSafe

Bug8

Documentation

data Typ

Constructors

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

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

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

s :: a

t :: a

main :: a