nagate は Num 型の引数をひとつとり符号を反転させて返す関数。 > :t negate negate :: (Num a) => a -> a > :i negate class (Eq a, Show a) => Num a where ... negate :: a -> a ... -- Defined in GHC.Num > negate 1 --=> -1 > negate $ negate 1 --=>…