Uncategorized Nim Type Zero Reglas True echo newdata how about enforcing a transitive effect system or checking exception specifications at compile time The type classes in nim are not used to create abstract polymorphic types as it is the case with haskell s type classes and c s interfaces