- setStage (Brack next_level pending_splices lie_var) (
- getLIE (tc_bracket next_level brack)
- ) `thenM` \ (meta_ty, lie) ->
- tcSimplifyBracket lie `thenM_`
+ (meta_ty, lie) <- setStage (Brack next_level pending_splices lie_var)
+ (getLIE (tc_bracket next_level brack))
+ tcSimplifyBracket lie