formatCheck :: Check -> String
formatCheck (Check md source ln _) =
    formatPos source ln ++ code md ++ " " ++ message md
formatCheck :: Check -> String
formatCheck (Check md source ln _) =
    formatPos source ln ++ code md ++ " " ++ message md
formatCheck (Check md source ln _) =
    formatPos source ln ++ code md ++ " " ++ message md