Parameter Make.F

type t
val foreach : (t -> unit) -> unit