Yes, that's a fair description. I'm not married to...

# language-proposals

[cedric]

Yes, that's a fair description. I'm not married to my proposal, do you ever envision that it's possible to implement type classes without violating the design rule of "no implicit conversions"?