let
fmap f term = fwd (f (bwd term))