2006-09-03 fold, pack, instantiate プログラミング Recursive Type : fold, unfold Existential Type : pack, unpack Universal Type : instantiate という用語の対応。