Safe HaskellSafe

Bug8

Documentation

data Typ #

Constructors

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

(-->) :: p1 -> p2 -> Typ infix 9 #

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

s :: a #

t :: a #

main :: a #