haskell-tools-refactor-0.4.1.1: examples/Decl/RewriteRule.hs
module Decl.RewriteRule where
{-# RULES "map/map" forall f g xs . map f (map g xs) = map (f . g) xs #-}
module Decl.RewriteRule where
{-# RULES "map/map" forall f g xs . map f (map g xs) = map (f . g) xs #-}