集合がプログラムの型に見える