Data.LinearMap
data u :-* v