let
fmap2 f term1 term2 = fwd (f (bwd term1) (bwd term2))