{-# LANGUAGE RebindableSyntax #-} module RebindNegate where import Prelude ( length ) negate = length y = - "foo"