let
fail x : (_, _) result =
`
Error
x