Numeric.Map
data Map r b a
($@)
multMap
unitMap
memoMap
comultMap
counitMap
invMap
coinvMap
antipodeMap
convolveMap