Parametric parameter passing lambda-calculus