module MapFusion where

import Prelude hiding (map)

# RULES " map - fusion " forall     f . map  = map ( f .  )   #

map :: (a -> b) -> [a] -> [b]
map f []     = []
map f (a:as) = f a : map f as

module MapFusion where

import Prelude hiding (map)

# RULES " map - fusion " forall     f . map  = map ( f .  )   #

map :: (a -> b) -> [a] -> [b]
map f []     = []
map f (a:as) = f a : map f as
