Safe Haskell	Safe-Inferred

GadtConstructorArgs

Documentation

data Boo where #

Constructors

Fot
Fields :: { x :: Int an `x` , y :: Int a `y` } -> Boo
Fob	Record GADT with docs
Fields :: { w :: Int a `w` , z :: Int a `z` } -> Boo a `Boo`