そのHCONSにはポインタの循環がないからGCレスにできると思うのだが、
純粋関数型言語はGC不要なの?