Using the Parametricity Theorem for Program Fusion