Probably going to trash the free monad stuff

I am not clear as to what it buys me other than sheer pain