Monads in Dynamically-Typed Languages

The cool thing is that if you had asked me a week ago, I would have said return-type polymorphism like this was impossible without types.