Plankton.Module

class AdditiveModule r a

class AdditiveGroupModule r a

class MultiplicativeModule r a

class MultiplicativeGroupModule r a

class Banach r a

class Hilbert r a

inner

type family (a :: k1) >< (b :: k2) :: *

class TensorProduct a