constructor classes in StdEnv

[Zuurbier, E. - AMSXE]

Are there any plans to introduce type constructor classes like the following
in the StdEnv?

class map c :: (a -> b) (c a) -> (c b)
instance map [] ...
instance map {} ...
instance map Tree ...

class size c :: (c a) -> Int
instance size [] ...
instance size {} ...
instance size Tree ...

Particularly the latter one would relieve me from the burden of determining
whether I should use length [1,2,3]
or size [1,2,3], and length {1,2,3} or size {1,2,3}

Regards
Erik Zuurbier