[Haskell-cafe] Eta-reducing case branches

[Tom Ellis]

Has anyone ever considered permitting case branches to be eta reduced?  For
example, it is often nice to rewrite

    foo x = bar baz x

as

    foo = bar baz

Likewise, I have often wanted to rewrite

    case m of
        Nothing -> n
        Just x  -> quux x

as
    case m of
        Nothing -> n
        Just    -> quux

Am I missing an obvious reason this wouldn't work?

Tom