<div dir="ltr">Hello Tushar,<div><br></div><div>maybe this makes it look a bit clearer:</div><div><br></div><div><div>class Misty m where</div><div>  banana:: (f -> m b) -> m f -> m b</div><div>  furry':: (a -> b) -> m a -> m b</div><div><br></div><div><br></div><div>apple::Misty m =></div><div>    m a -> m (a -> b) -> m b</div><div>apple ma mf = banana (\f -> furry' f ma) mf</div><div><br></div><div><br></div><div>in a word: 'a' in banana may be a function </div><div>f = a -> b</div>​</div></div>