Class FunctionTraverser<A,​B>