{-# RULES "map-loop" [~] forall f. map' f = map' (id . f) #-}