SomeNat型