data LinearFunction s v w
type v -+> w
type Bilinear v w y
data LinearMap s v w
type v +> w
data Tensor s v w
type v ⊗ w
data SymmetricTensor s v
type ⊗〃+> v w
data Norm v
type Seminorm v
type Variance v
data Eigenvector v
type LSpace v
class TensorSpace v
class LinearSpace v
class SemiInner v
class FiniteDimensional v
type DualSpace v
type HilbertSpace v
type SimpleSpace v
class Num' s
type Fractional' s
type RealFrac' s
type RealFloat' s
type LinearShowable v
data ClosedScalarWitness s
data ScalarSpaceWitness v
data DualSpaceWitness v
data LinearManifoldWitness v