Igor Morozov - Ducks and monads: wonders of Ruby types