On 6 September 2010 20:18, John Lato <jwlato at gmail.com> wrote: > Can you give an example of a Functor that doesn't have pure? I think it's > Pointed Functors which are useful; not Functor by itself. Strictly speaking is Pair one? The current implementation tacks on monoid. Best wishes Stephen