Cabal's `IO a = HasCallStack => IO a` type synonym causes quite some
trouble under the [simplified subsumption proposal][1]. Fix these cases
by eta-expanding or adding type signatures where necessary.

[1]: https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0287-simplify-subsumption.rst