Re: [Haskell-cafe] Funny State monad dependency

Miguel Mitrofanov wrote:

It has nothing to do with State; it actually works in List monad. "return y" is just another way of writing "[y]".

Actually, it seems that in this case return is from the ((->) a) monad, i.e. return=const. f x y = x >>= return y = x >>= const y = (concat . map) (const y) x = concat (map (const y) x) Zun.