Cleanで次のようなプログラムを書いたとする。 Start = f {A|a=1} ::A = {a :: Int} ::B = {a :: Int, b :: Int} f {a} = a これは、fが多相的に機能してくれることを望んでいるのだけれど、残念ながら、{a}の型が曖昧なのでコンパイルエラーになる。 じゃあ…