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