TIL: seems to use alphabetical ordering to solve the diamond type class problem: try.purescript.org/?gist=88132cca
Conversation
that code should be rejected :(
1
Indeed - I’d assumed would reject diamond hierarchies, but then I saw pursuit.purescript.org/packages/pures - piqued my curiosity!
1
what's the problem with a diamond? The problem I see is overlapping instances.
2
Seems to do the same alphabetical thing when you have two instances of `A`