汎用型 'any' が用意されていて、プロシージャforce[]でオブジェクトが所定の型であるかチェックする。