Slowly coming to grips with the realization that a good system for making new types is way more important for me than the ability to check the types statically.