The presence of general type level programming does, however, mean that you can build decent preconditions on types. Which will get you further than you could i

The presence of general type level programming does, however, mean that you can build decent preconditions on types. Which will get you further than you could in C++. I’m more concerned by the typeid switching, but maybe it’s got a proper structured mechanism as well.