Algebra.Linear

data LinFunc v c

type Constraint v c

clean

var