1 2 3 4 5 6 7 8 9
module T984 where f _ = do x <- computation case () of _ -> result <- computation case () of () -> undefined