Ducks and monads: wonders of Ruby types

Monads