sig
  type 'a t
  val map : f:('a -> 'b) -> 'a Fcommand.Anons.t -> 'b Fcommand.Anons.t
end