{-# LANGUAGE RebindableSyntax #-} It tells GHC to use our custom 'negate' function, instead of the one from Prelude.