argh. json for GHC SrcSpan. Sigh.
define JSON for RealSrcSpan, sigh