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