ガードにおいてはotherwiseのような自明な全捕捉でない限り コンパイラーは条件が網羅的かどうか推論できないらしいということを学んだ. それはそれとして, 昨日書いたdigitにはバグがあることに気づいた*1. 符号付き整数に関して, let m = (minBound :: Int…