GHC Handbook

Note [Rewrite rules ignore multiplicities in FunTy]

GHC/Core/Unify.hs:933 compiler 

Consider the following (higher-order) rule:

m :: Bool -> Bool -> Bool
{-# RULES "m" forall f. m (f True) = f #

References 0

This Note does not link to any other.

Referenced by 5