~ patterns

[Simon Peyton-Jones]

| Actually, I think it's a much bigger wart that pattern matching in let
| and where is lazy, and everywhere else is strict, than that we have an
| operator ~ on patterns with a clean compositional semantics. Way back
in

But ! patterns would restore what you want
	let !(x,y) = e in ...

Arguably, it's non-uniform, but at least the strict version would be
much more convenient than switching to case.

Simon