data Vect k b

zerov

add

(<+>)

sumv

neg

(<->)

smultL

(*>)

smultR

(<*)

nf

linear

data EBasis

type Trivial k

wrap

unwrap

data Dual b

dual