functor (Setoid : Setoid.Setoid) ->
  sig
    val member : Setoid.t -> Setoid.t list -> bool
    val f : Setoid.t list -> Setoid.t list
  end