functor (Flat_array : Flat_array) -> Flat_array