Applicative functor composition
lemming at henning-thielemann.de
Wed Jun 17 17:33:39 EDT 2009
In the TypeCompose package there is the O data type for composing two
However I hesitate to import this package because of a lot of needed type
extensions. But since 'O' seems to be the canonical way for combining two
functors, could we add it to Control.Applicative?
More information about the Libraries