Optional Type


We already have StrongTyping and types.rb, but...

They are based on class/module
Class/module based typing hinders duck typing
Need type system based on signature
Need to be built-in to be efficient

No concrete idea, yet.