GHC では型システムが急速に進化していて、ついに型レベル自然数 (type-level natural number) も組み込まれました。この型レベル自然数は、0, 1, 2, ... というリテラルによって型レベル自然数を得られ、足し算・掛け算・冪乗・引き算・比較が可能です。考…

少し詳しく化学を勉強した人ならば、立体異性体の話に関連して「メソ体」あるいは「メソ化合物」という言葉は聞いたことがあると思います。 キラル中心（特に不斉炭素）をいくつか持つが、鏡像がそれ自身と異性体にならない分子 というのが普通の定義でしょ…