Assignment 4 (Monads and Haskell)
Due Date: After you finish the proof of type safety
From the paper "Monads and Effects", do all the exercises from 7.1 to
7.7.
You can do one or more of 7.8, 7.9, and 7.10 for your "final project".
sabry@cs.indiana.edu