@tarunon

TがHConsの場合にその中のHを限定する必要は無いんですか？

あると思います。