Have you tried to remove the type of function h?<br><br><br>( oo ) infixr 9 :: ( b -&gt; c ) ( a -&gt; b ) -&gt; ( a -&gt; c )<br>( oo ) g f = h<br>where<br>//&nbsp;&nbsp;&nbsp; h :: a -&gt; c<br>&nbsp;&nbsp;&nbsp; h x = g ( f x )<br>