sig
  type ('f, 's) _either =
    ('f, 's) Either_intf.S.t =
      First of 'f
    | Second of 's
end