let bind x f =     match x with     | `Ok o -> f o     | `Error e -> fail e