module T984 where

f _ = do
        x <- computation
        case () of
                _ ->
                        result <- computation
                        case () of () -> undefined