let bind f m = match m with | `Ok a -> f a | (`Error _ as e) -> e