-- From:
-- https://downloads.haskell.org/~ghc/7.8.4/docs/html/libraries/base-4.7.0.2/Prelude.html#v:signum
prop_signum ∷ PeanoNat → Bool
prop_signum x = abs x * signum x == x

--
prop_signum ∷ PeanoNat → Bool
prop_signum x = abs x * signum x == x
prop_signum x = abs x * signum x == x