a => b => expr_using_a_and_b