Re: [Haskell-beginners] Simple Continuation question

On 12 July 2014 16:12, David McBride wrote:

You can see that in the error message Expected type: ContT String Identity String, Actual type: ContT Char [] String. The reason why it looks weird is that it is assuming that your monad instead of being identity is [], and that the r in "m r" must be a Char in order for that to work. I'm not really sure why it chose list, probably type defaulting rules.

It is probably because String = [Char]. Notice how the first argument to ContT changes from String to Char too. Ozgur