GadtConstructorArgs
data Boo where #
Constructors
Fields
an x
x
a y
y
Record GADT with docs
a w
w
a z
z
a Boo
Boo