G'Camlで限界をこえていく

• 型レベルで分岐と再帰ができる！

• • 型リストの反転だってできる！
  • ということはC++みたいなあんなことやこんなこともできるのでは？