Proposal: Alternative Syntax for the Built-in Typeclasses

To reiterate, I’m looking for:

  • A justification of the current syntax, or
  • Ideas about a different syntax which may conform to/deviate from mine, with justification

Cheers