Who needs polymorphics types? (when we have modules)

Oops, I missed that.