functor () -> Key