アメリカ室長
株落ちてるしテスラ行けるかと思ったけどまだ宇宙的恐怖でダメだった（PER600ってなんやねん）
倍数型、演算したあとの倍数判定が厳しそうだけど、チャーチ数で数値型を表現すれば四則演算くらいには耐えそうな気がするな
四則演算だけでいいなら有理数型 (number, number) を適当に管理する感じの型システムがあればできるか（TSではできんけど）
rational<1,2>とrational<2,4>は等値！！！（闇）
最近Uber Eatsがめっちゃプッシュ通知送ってくるんだけど経営やばいのかな
