If I was to design a type system I would introduce sum and product as type constructors and some basic types and be done. To make this really work takes polymor

If I was to design a type system I would introduce sum and product as type constructors and some basic types and be done. To make this really work takes polymorphism so you can write list.