ファンクタやモナドなどなどの章のサンプルコードでエラーが発生する

[Miyazaki]

該当コード

safeDiv : Integer -> Integer -> Maybe Integer
safeDiv _ 0 = Nothing
safeDiv d m = d `div` m

エラー内容

   |
 3 | safeDiv d m = d `div` m
   |                 ~~~~~
When checking right hand side of safeDiv with expected type
        Maybe Integer

When checking an application of function Prelude.Interfaces.div:
        Type mismatch between
                Integer (Type of d)
        and
                Maybe Integer (Expected type)

修正案

safeDiv : Integer -> Integer -> Maybe Integer
safeDiv _ 0 = Nothing
safeDiv d m = Just (d `div` m)

[κeen]

報告ありがとうございます。修正します。