In reply to @basilajith "How can do a":
https://nim-lang.org/docs/manual.html#generics-type-classes
> Whilst the syntax of type classes appears to resemble that of ADTs/algebraic
data types in ML-like languages, it should be understood that type classes are
static constraints to be enforced at type instantiations. Type classes are not
really types in themselves but are instead a system of providing generic
"checks" that ultimately resolve to some singular type. Type classes do not
allow for runtime type dynamism, unlike object variants or methods.