let
rhs (_, b) = b