with a starting point (0 relevant computations have occurred previous
to the current computation).
-Assume for the purposes of this excercise that no one ever tries to
+ Assume for the purposes of this excercise that no one ever tries to
divide by zero (so there should be no int option types anywhere in
your solution).
-You'll need to define a computation monad type, unit, bind, and lift.
+ You'll need to define a computation monad type, unit, bind, and lift.
We encourage you to consider this hint: [[Assignment 6 Hint 1]].
2. Prove that your monad satisfies the monad laws. First, give