by divine grace a correct functor-general splitAt