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