functor (G : GenArray.GenArray) -> GenArray.GenArray