Exécute un calcul utilisant Throw, en transformant un throw e en Error e et un résultat normal en Ok a — le gestionnaire abortif de Throw. Le résultat est pur, donc catch s'utilise dans du code ordinaire (sans effet).

catch (\_ -> parseField s) ⇒ Ok n, ou Error msg s'il a lancé.

(Gérer un effet EN MÊME TEMPS qu'un IO/FS résiduel — p. ex. attraper un readFile! — nécessite handle/resume généraux, une fonctionnalité ultérieure.)