そこの制約がいるのか、そして未知の型から列挙にできなくなる、と