[sevensor]

The article makes one of my favorite points about types: types aren’t there to constrain you; what they constrain is the complexity of the program.