Applicative functor composition

Henning Thielemann lemming at
Wed Jun 17 17:33:39 EDT 2009

In the TypeCompose package there is the O data type for composing two 
applicative functors

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 mailing list