[("tests/examples/Pragma5.hs:1:1-76: Warning: Use fewer LANGUAGE pragmas\nFound:\n {-# LANGUAGE NoMonomorphismRestriction, GADTs, NoMonomorphismRestriction #-}\nPerhaps:\n {-# LANGUAGE NoMonomorphismRestriction, GADTs #-}\n",[ModifyComment {pos = SrcSpan {startLine = 1, startCol = 1, endLine = 1, endCol = 77}, newComment = "{-# LANGUAGE NoMonomorphismRestriction, GADTs #-}"}])]