number をせめて百分率やミリ秒の type alias にと思って書き換えたけど, これ結局生成されるヒントには number で出るから意味なかった.
やるならばやはり諸々オーバーヘッドあってでも value class 的なやつで書くべきか.