Applicative functor composition

[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?