Data.LinearMap
data u :-* v
linear
lapply
atBasis
idL
(*.*)
inLMap
inLMap2
inLMap3
liftMS
liftMS2
liftMS3
liftL
liftL2
liftL3
firstL