GRHS with empty wherebinds gets wrong SrcSpan