+
+-spec lift_exn(F) -> G
+ when F :: fun((A)-> B)
+ , G :: fun((A)-> t(B, {Class, Reason :: any()}))
+ , Class :: error
+ | exit
+ | throw
+ .
+lift_exn(F) when is_function(F, 1) ->
+ fun(X) ->
+ try
+ {ok, F(X)}
+ catch Class:Reason ->
+ {error, {Class, Reason}}
+ end
+ end.