- getSrcLocM `thenM` \ src_loc ->
- returnM (TySigInfo poly_id tyvars' theta' tau'
- (instToId inst) [inst] src_loc)
+ getSrcSpanM `thenM` \ src_loc ->
+ returnM (TySigInfo { sig_poly_id = poly_id, sig_tvs = tyvars',
+ sig_theta = theta', sig_tau = tau',
+ sig_mono_id = instToId inst,
+ sig_insts = [inst], sig_loc = src_loc })