Generics.OneLiner.ADT
data Constraint
ADT
class ADT t
class ADTRecord t
data For c
(!)
at
builds
mbuilds
gmap
gfoldMap
gtraverse
build
op0
op1
op2