Made polymorphic data types safer to use.