[Haskell-beginners] Applicative Composition

Hi All, I was wondering, why there isn't a composition operator for applicative functors. Of course it is rather trivial to implement, but it is a useful feature: {-# LANGUAGE FlexibleInstances, UndecidableInstances #-} module ApplicativeComposition where import Control.Applicative class (Applicative f) => ApplicativeComposition f where (<.>) :: f (b -> c) -> f (a -> b) -> f (a -> c) instance (Applicative f) => ApplicativeComposition f where (<.>) f g = pure (.) <*> f <*> g Can this be added to later versions of haskell? Greets, Edgar