>>315
どんな論文？
タイトルとか書いた人とかURLとか教えてくれるとうれしーなー。

型に情報を付加するというのは良いアイデアだと思う。
多相型かたに型以外のものが付加できるようにするというのも
面白いかもしれない。