Programming with Moose/Type system

Gotchas

 * Overloading


 * Maybe[Foo] 'Foo | Undef': One permits coercing to Undef, one doesn't.