Functor => Pointed => Applicative => Monad

Mauro Jaskelioff mjj at
Thu Dec 2 18:31:55 CET 2010

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

More information about the Libraries mailing list