This intention extends lambda parameters to contain formal types