やっぱり各Processor実装にシングルトンメンバを持たせて、
型配列の代わりにシングルトンフィールドをわたす、とかかな。
シングルトンフィールドに関するコントラクトが定義できないのがいやだが、
まあ、型配列作るときにお約束にしとくしかないかな。