AV
Size: a a a
AV
JS
AA
JS
AA
AV
AA
AV
AA
AV
AA
JS
\x -> case x of {} is strict in x. This is an exception to the general rule for case expressions, which are otherwise lazy (unless a pattern-match forces evaluation, of course). This is unfortunate, because I like EmptyCase, and I think it's useful. If we had a strict case!, I would be in favor of including this. End RAEAA
MK
AA
AA
JS
AA