My brain just got kicked right in the ambient monads.