[Haskell] Rank-N types with (.) composition

[Henning Thielemann]

On Tue, 10 Feb 2015, Tyson Whitehead wrote:

> I came across something that seems a bit strange to me.  Here is a 
> simplified version (the original was trying to move from a lens 
> ReifiedFold to a lens-action ReifiedMonadicFold)

You are on Haskell at haskell.org here. Could you please move to 
haskell-cafe?