Applicative functor composition

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/Contr... 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?