the type system is nominal, not structural. It's a...
# arrow
p
the type system is nominal, not structural. It's also not Hindley-Milner and the inference is only local
👍 1