class TensorType a
data TensorData a
class TensorDataType s a
data Scalar a
data Shape
class Attribute a
data DataType
data ListOf f as
type List
data TensorTypeProxy a
class TensorTypes ts
type TensorTypeList
type OneOf ts a
type family a /= b :: Constraint
type OneOfs ts as
data TypeError a
data ExcludedCase
type family NoneOf ts a :: Constraint
type family as \\ bs
type family Delete a as
type AllTensorTypes