d5ef5a29a89fa5548f81fcd49fcf0ffda69d45b0Christian Maedermodule Map where
c3d42e13d2a7c3749229498658aec34e7e4fd0a0Christian Maedermap1 :: (a -> b) -> [a] -> [b]
cd7372fc7e6e43c389619f63daa6eb872d9d5b16Christian Maedermap1 f [] = []
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescumap1 f (x : xs) = f x : map1 f xs
d5ef5a29a89fa5548f81fcd49fcf0ffda69d45b0Christian Maeder "map_map" forall f g xs -> map1 f (map1 g xs) === map1 (f.g) xs