Numeric.LAPACK.Matrix.Extent
class C tag
data family Extent vertical horizontal :: * -> * -> *
data Map vertA horizA vertB horizB height width
data Small
data Big
class GeneralTallWide vert horiz
data AppendMode vertA vertB vertC height widthA widthB
type family Append a b