haskell-tools-refactor-1.0.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 #-}