Applicative functor composition

[Wolfgang Jeltsch]

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
>    
> http://hackage.haskell.org/packages/archive/TypeCompose/0.6.4/doc/html/Control-Compose.html
>
> 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,
Wolfgang