4632N/A{- |

4632N/AModule : $EmptyHeader$

4632N/ADescription : <optional short description entry>

4632N/ACopyright : (c) <Authors or Affiliations>

4632N/ALicense : GPLv2 or higher

4632N/A

4632N/AMaintainer : <email>

4632N/AStability : unstable | experimental | provisional | stable | frozen

4632N/APortability : portable | non-portable (<reason>)

4632N/A

4632N/A<optional description>

4632N/A-}

4632N/Amodule Map where

4632N/A

4632N/Amap1 :: (a -> b) -> [a] -> [b]

4632N/Amap1 f [] = []

4632N/Amap1 f (x:xs) = f x : map1 f xs

4632N/A

4632N/A{-# AXIOMS

4632N/A "map_map" forall f g xs -> map1 f (map1 g xs) === map1 (f.g) xs

4632N/A#-}

4632N/A