Re: [GHC] #7611: Rewrite rules application prevented by type variable application (map id vs. map (\x -> x))