for f being Function-yielding Function
for g being Function holds Values (g *. f) = g .: (Values f)