let
map_rhs f = map2 (
Jst
.
Eqtrans
.id, f)