What is wrong with:

class Functor ConstInt where map f (Const n) = Const n

Ups - absolutely nothing. I actually tried it with data ConstInt a = Int and didnt manage to make this an instance of class Functor. Sorry for giving the wrong example. -Tobi -- GMX - Die Kommunikationsplattform im Internet. http://www.gmx.net