cleanup
monads
presentation shaving