Generics.OneLiner

Producing values

create

createA

ctorIndex

Traversing values

gmap

gfoldMap

gtraverse

Combining values

gzipWith

mzipWith

zipWithA

Consuming values

consume

Single constructor functions

op0

op1

op2

Types

type ADT t

type ADTRecord t

type ADTNonEmpty t

type CtorCount t

type Constraints t c

data For c

class Deep c t

type family DeepConstraint c t :: Constraint

isAtom