型が第一級オブジェクトなら、クロージャを使えば状態つきの型を作れるわけか