NonZeroUInt とかも、サブタイピングがあれば別にいいと思うんですよね。

1:49 AM

数学的には自然数は整数だし、整数は実数だし、実数は複素数だし。