accessible functor