Functor => Pointed => Applicative => Monad

[Malcolm Wallace]

On 4 Dec 2010, at 06:25, wren ng thornton wrote:
>
> Well the paradigmatic (programming) examples of functors are all  
> container-like structures: sets, multisets, lists, trees,...

Really?  Just as monads are not (only) containers, I think it is a  
mistake to think of functors as (only) containers too.  There are many  
common paradigmatic examples of "active" functors as well: parsers,  
pretty-printers, database queries.

Regards,
     Malcolm