Used MyStateT transformer, things seem to work, need to clean this up