type family MatFromColRow a b where ...

type family MatCol a where ...

type family MatRow a where ...

type family FromMatColRow ac ar at bc br bt where ...

type family Multiply a b where ...