2006-10-19 Haskellのexistential typeのquantifierがforallな件について いつも「何でexistentialなのにforallなんだ?」と思って、納得するまで時間がかかる。そしてしばらくすると忘れて、また見たときに(以下無限ループ)