Data.VectorSpace

class RModule v

class VectorSpace v

type family Groundfield v :: *

class InnerProductSpace v

class NormedSpace v