a038a88bfa
Strictly speaking, they are not 'lambda parameters', they are 'functional parameters' or 'parameters of functional types'. Sorry for my pedantry.