Re: [Haskell-cafe] Eta-reducing case branches

Tom Ellis writes:

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

I would think that is a bit weird since Nothing and Just have different types. -- - Frank