Feldspar.Matrix
type Matrix a
class Mul a b
class ElemWise a