removed tmap in favor of Control.Arrow.***