trace ("\nAfter:\n\n" ++ showSDoc ( ppr expr')) $ return ()
-- And store the normalized version in the session
modA tsBindings (Map.insert bndr expr')
trace ("\nAfter:\n\n" ++ showSDoc ( ppr expr')) $ return ()
-- And store the normalized version in the session
modA tsBindings (Map.insert bndr expr')