experiment with two fresh name monads