Found a bunch of different ways to do the transact function. Learned a lot about Monads. I like.