Each rewrite rule or rewriting strategy applies to an implicit subject term. See rules versus strategies for a discussion.
-- Eelco Visser - 13 May 2003
The implicit current subject term is related to the Point Free Style? in functional programming. In this style function declarations never mention the actual arguments they will be applied to.
See the Haskell Wiki: