右辺と左辺で明示的に宣言した型のミスマッチでエラーが出るようにした。 add1 :: (Number, Number) -> Number = (x :: Number, y :: Number) :: Number -> x + y add2 = (x :: Number, y :: Number) :: Number -> x + y add3 :: (Number, Number) -> Number…