sig
  val member : Person.t -> Person.t list -> bool
  val f : Person.t list -> Person.t list
end