LinearAlgebra.TypedSpaces.Classes
class Isomorphism a b
class CZippable f
class CIndexed f i
class IsList l