kinds for *'

Serge D. Mechveliani mechvel at botik.ru
Tue Jan 10 18:41:11 CET 2012

People,

GHC provides some extensions for kinds.
Does this make possible different kinds, for example, for *' ?

Prelude.Num  has  * :: a -> a -> a.

And mathematicians also like to denote as *'
(\cdot in TeX)
a "multiplication of a vector v by a coefficient r". It is expressed by the declaration

class (Num r, ...) => LeftModule r v where  * :: r -> v -> v

Regards,

------
Sergei
mechvel at botik.ru

`