- The simple-context restriction. My difficulty here is that there
is just no good place to stop. The 'type variable in head position'
option is attractive, but it's unimplemented, untested, and it's
neither the status quo nor a final destination. On the other hand,
we *believe* it's technically ok and restores principal types.
It seems to me restoring principal types is worth it. Didn't we vote
for this change at ICFP? I thought the `slippery slope' argument you
give here was applied to something else, namely, allowing more general types
in instance declarations. I argued for that change too, but you and some
others were unconvinced. -- P
