Control.Functor.Combinators.Biff
data
Biff
p f g a b
type
On
p f
runOn
mkOn
type
PAp
p
runPAp
mkPAp
type
PCofree
runPCofree
pcofree
type
PFree
runPFree
pfree