FunctorCombo.Functor

data Const a b

data Void a

voidF

type Unit

unit

data Id a

unId

inId

inId2

data (f :+: g) a

eitherF

data (f :*: g) a

asProd

asPair

fstF

sndF

data (g :. f) a

unO

inO

inO2

(~>)

(<~)

data Lift a

data (f :*:! g) a

data (f :+:! g) a

eitherF'

pairF

unPairF

inProd

inProd2

class EncodeF f