> Nim doesn't have a type system, it has a collection of partially overlapping implementations of type checking like things, that sorta kinda resemble each other in behaviour. This tricks you into believing it's a system, but it's just random code littered all over sem that just does some stuff.