- getLIE (tcMonoExpr lhs rule_ty) `thenM` \ (lhs', lhs_lie) ->
- getLIE (tcMonoExpr rhs rule_ty) `thenM` \ (rhs', rhs_lie) ->
- returnM (ids, lhs', rhs', lhs_lie, rhs_lie)
- ) `thenM` \ (ids, lhs', rhs', lhs_lie, rhs_lie) ->
+ (lhs', lhs_lie) <- getLIE (tcMonoExpr lhs rule_ty)
+ (rhs', rhs_lie) <- getLIE (tcMonoExpr rhs rule_ty)
+ return (ids, lhs', rhs', lhs_lie, rhs_lie)