| > 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.
|
| 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
| th
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
