Applicative functor composition

Wolfgang Jeltsch g9ks157k at
Thu Jun 18 12:12:32 EDT 2009

Am Mittwoch, 17. Juni 2009 23:33 schrieb Henning Thielemann:
> 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?

This doesn’t seem to be a good idea in my opinion. The reason is that O is 
useful in other areas. Why should it be defined in Control.Applicative?

Best wishes,

More information about the Libraries mailing list