let lhs (a, _) = a