monadcatchio-mtl -> exceptions