2005-12-06 GADTってghc拡張だったのか ghcでしかチェックしてなかったので気がつかなかった... 実際のところどこまでが本当の仕様か良くわかってないので、Language Report読まなきゃいけないかなあ。