Wondering about Typeclasses

A good programming language only has either tagged unions or custom typeclasses - not both.