kinds for `*'

[Serge D. Mechveliani]

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