Loop functor