You'll need to define a computation monad type, unit, bind, and lift2.
We encourage you to consider this hint: [[hints/Assignment 6 Hint 1]].
- <div style="color: red">See our [commentary](/hints/assignment_6_commentary) on your solutions.</div>
+ See our [commentary](/hints/assignment_6_commentary) on your solutions.
2. Prove that your monad satisfies the monad laws. First, give