Data.Maclaurin
data a :> b
derivAtBasis
type a :~> b
pureD
fmapD
(<$>>)
liftD2
liftD3
idD
fstD
sndD
linearD
distrib
(>-<)
pairD
unpairD
tripleD
untripleD