functor () -> Context