functor (Generator : Generator) -> Class