Not for more than a passing mention. Using the name of the module to control
the default makes me unhappy (should choice of name be relevant in the
correctness / interpretation of a program?). Other heuristics (presence of
constrained functions) seem quite fragile. Of everything said so far, I
Personally, looking at it 10 years on, having a nominal default would look
pretty terrible to me.
I'd be stuck annotating everything I write. Nothing easy could just be
easy.
The 10 years on crowd is a reasonable argument for a real type role
syntax, and it was indeed that argument that won me