Data.Maclaurin

data a :> b

powVal

derivative

type a :~> b

dZero

pureD

fmapD

(<$>>)

liftD2

liftD3

idD

linearD

distrib

(>-<)

(**^)

(<*.>)