"RealSrcLoc SrcLoc \"filename\" 1 3 Nothing"
"RealSrcLoc SrcLoc \"filename\" 1 5 Nothing"
"UnhelpfulLoc \"bad loc\""
"RealSrcSpan SrcSpanPoint \"filename\" 1 3 Nothing"
"RealSrcSpan SrcSpanOneLine \"filename\" 1 3 5 Nothing"
"RealSrcSpan SrcSpanMultiLine \"filename\" 1 5 10 1 Nothing"
"UnhelpfulSpan (UnhelpfulOther \"bad span\")"