GHC has one main mechanism for controlling the application of rules, namely
simplifier phases. You can say apply this rule only after phase N or
apply this rule only before phase N. Similarly for INLINE pragmas. The
manual describes this in detail.
I urge against relying on top-down or
On Wed, 16 Jan 2008, Simon Peyton-Jones wrote:
GHC has one main mechanism for controlling the application of rules,
namely simplifier phases. You can say apply this rule only after
phase N or apply this rule only before phase N. Similarly for INLINE
pragmas. The manual describes this in