Yes, the name slipped from my mind, thank you for pointing that out! With type classes however you mostly switch to the codata/protocol view, you can't pattern

Yes, the name slipped from my mind, thank you for pointing that out! With type classes however you mostly switch to the codata/protocol view, you can't pattern match on "the things that implement the type class" anymore and you have to rely on the methods provided by the type class.