結論 オーバーフローしたら条件満たさないから無理 結論以外 refined はScalaでrefinement typeを表現するためのライブラリです。 このライブラリの中に「1以上のInt」を表すPosIntという型があるのですが、refinedは PosInt + PosInt = PosIntといった推論…