不動点コンビネータ
不動点コンビネータ fixed point combinator
与えられた関数の不動点（のひとつ）を求める高階関数 高階関数$ g が不動点コンビネータになるための条件
任意の関数$ f に対し、$ p = g(f) とすると、$ f(p) = p が成立する
下記に言い換えることもできる。
$ f(g(f)) = g(f)
→下記定義なので違った。
code:memo.hs
const :: a -> b -> a
-- const 12 3
-- -> 12
idがそれっぽい。
code:memo.hs
id :: a -> a
-- id 3
-- 3
Zコンビネータ
Yコンビネータ
SKIコンビネータ