Set of Haskell libraries that are centered around the idea of using phantom types to tag code that may raise exception(s).