I am confused and have found some inconsistent example when using type classes as param type constraints. What would be the rules of thumb for type class resolution in cases like proc(a: tuple) = echo “empty tuple?” And proc(a: tuple) echo a, “ generic and as such any tuple shape”
How can I understand when tuple is the empty tuple and when tuple is a type class?