eio (hackage): IO with Exceptions tracked on the type-level. See README.md for more details.
Keywords: exceptions|io|library|mpl|program|qualifieddo|haskell|haskell-library|type-level