+ ID = fun hope_fun:id/1,
+ lift_map_exn(F, ID, ID).
+
+-spec lift_exn(F, ErrorTag) -> G
+ when F :: fun((A) -> B)
+ , G :: fun((A) -> t(B, {ErrorTag, exn_value(any())}))
+ .
+lift_exn(F, ErrorTag) when is_function(F, 1) ->
+ ID = fun hope_fun:id/1,
+ Tag = fun (Reason) -> {ErrorTag, Reason} end,
+ lift_map_exn(F, ID, Tag).