One thing I've always liked about typing systems is the compiler basically shaming me with "do you really know what you're doing". also small refractors are mor

One thing I've always liked about typing systems is the compiler basically shaming me with "do you really know what you're doing". also small refractors are more graceful