id:eagletmt さんが Haskell の型レをやっているのでコメントをポチポチ書いています ただ，これだとちょっと残念なことがあって，例えば2つ足す場合， data Succ2F = Succ2F instance Apply Succ2F x (Succ (Succ x)) と，わざわざ書かなければならない． …