sig
  type 'a or_error = ('a, exn) Result.result
  type json = Yojson.Safe.json
  val make :
    to_yojson:('a -> Maki_yojson.json) ->
    of_yojson:(Maki_yojson.json -> 'a Maki_yojson.or_error) ->
    string -> 'a Maki.Value.ops
  val make_err :
    to_yojson:('a -> Maki_yojson.json) ->
    of_yojson:(Maki_yojson.json -> [ `Error of string | `Ok of 'a ]) ->
    string -> 'a Maki.Value.ops
end