The class > > class Inhabited x where > something :: x makes sense, not to say that x is inhabited, but to choose a default value for that type. Same thing for pointed functors. All the best, - Mauro