Many thanks to Dan Crawl from the University of Colorado, for putting together this checklist based on his own exchange experiences. We hope you will find this useful in planning your exchange. While ...

Because expressions do not alter the stack, or produce any output, we could give an evaluation function for expressions which is not monadic, or which uses a simpler monad than the monad defined above ...