case statements as first order

a simple desugaring,

case of
   arms

gets desugared to

\x -> case x of
    arms

see also