New type classes for generic programming and common recursion patterns are supported.
ジェネリックプログラミングと一般再帰パターン向けの新たな型クラスに対応している。