0除算でNothingを返す、mydivという関数を作ってみた。 mydiv1 _ 0 = Nothing mydiv1 n d = return (div n d) この関数をghciで実行してみると、問題なく動く。型推論の結果は(Integral a) => a -> a -> Maybe a。では、Nothingをこの定義からなくして、戻り…