| So that's two type-system things that would make your life easier.
|
| - how bad is it to use case?
|
| The existing alternatives are pretty easily liveable-with (though case
| happens to be my least favoured option), they just seem odd
| as restrictions, and look a tad peculiar.
|
|
Me:
| Although I'd read the restriction in advance, I nevertheless
| unwittingly
| contrived to try and write a binding-group style pattern-match against
| an existentially quantified data constructor. Oops. (Actually, I did
| it twice, what's worse...) I can imagine this is indeed an
| Although I'd read the restriction in advance, I nevertheless
| unwittingly
| contrived to try and write a binding-group style pattern-match against
| an existentially quantified data constructor. Oops. (Actually, I did
| it twice, what's worse...) I can imagine this is indeed an irksome
|