haskell-tools-builtin-refactorings-1.0.0.0: examples/Decl/RewriteRule.hs

module Decl.RewriteRule where

{-# RULES "map/map" forall f g xs . map f (map g xs) = map (f . g) xs #-}