let
return x : (_, _) result =
`
Ok
x