Data.LinearMap
type u :-* v