let
rhs_of (_, b, _) = b