Data.Maclaurin

data a :> b

derivAtBasis

type a :~> b

pureD

fmapD

(<$>>)

liftD2

liftD3

idD

fstD

sndD

linearD

distrib

(>-<)

Misc

pairD

unpairD

tripleD

untripleD