issue #544: vertical repetition for functor.hpp