Gergely Buday wrote: > If I understand correctly, I can use return only at the end of a monad > chain, can't I? > No. The type of [return] gives you all the information you need on where it may be used.