Hi All,<br><br>I was wondering, why there isn&#39;t a composition operator for applicative functors. Of course it is rather trivial to implement, but it is a useful feature:<br><br>{-# LANGUAGE FlexibleInstances, UndecidableInstances #-}<br>

module ApplicativeComposition where<br>import Control.Applicative<br><br>class (Applicative f) =&gt;  ApplicativeComposition f where<br>            (&lt;.&gt;) :: f (b -&gt; c) -&gt; f (a -&gt; b) -&gt; f (a -&gt; c)<br>
<br>
instance (Applicative f) =&gt; ApplicativeComposition f where<br>            (&lt;.&gt;) f g = pure (.) &lt;*&gt; f &lt;*&gt; g<br>            <br>Can this be added to later versions of haskell?<br><br>Greets,<br><br>Edgar<br>