let
output_ok o =
`
output (
Ok
o)