多相ラムダ計算(、システムf、)では多相不動点コンビネータは型∀a.(a→a)→aを持つ("a"は型変数)。