wip/hs-control-monad-failure
