functor (Flat_tuple_array : Flat_tuple_array) -> Flat_tuple_array