http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=113759 MLでこれのことで盛り上がっているみたい。 Cleanの場合、一意型ひとつだけれども、これはもっと細かく分類できるみたい。 対応する処理系があるのかは不明。