Pattern matches are sometimes wrongly eta-reduced in output

For example, with the following input:

```
main : (Int -> Int) -> Maybe (Maybe Int) -> Int
main f mma =
 case mma of
   Nothing -> 0
   Just ma ->
     case ma of
       Nothing -> 1
       Just a -> f a
```