<Nitya> seriously, is 60s-level typechecking a cool feature now? uuuugh
<Rig> I don't know if any language feature can be considered "cool"