Libraries.Synthesis.Matrix
data Zero
data Succ a
type One
type Two
type Three
type Four
type Five
type Six
type Seven
type Eight
type Nine
type Ten
type Ten_and a
data NNat
class Nat n
type family Plus n m
type family Times n m
data Vector
data Matrix m n a
type U2 a
type SO3 a