One of the problem using monads in dynamically typed languages is, as this article suggests, the need to overload 'return' operation by the type of results, not by the type of arguments. I once tried to address this issue.

http://practical-scheme.net/wiliki/wiliki.cgi?Scheme%3aExpli...