sig
  val iter : 'a list -> f:('a -> unit) -> unit
  val map : 'a list -> f:('a -> 'b) -> 'b list
end