前回の記事のど頭のこれ

type 'a Num = { ... }

はジェネリックレコード型の定義のようだ。'a listとか'a optionみたいに'a Numを定義している。ところで、Num<'a>と書くのと同じなんだろうけど、そう書かない理由は何だろう。何か使い分けでもあるのかな。