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]].
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]].
2. Prove that your monad satisfies the monad laws. First, give
examples illustrating specific cases in which the monad laws are
obeyed, then explain (briefly, not exhaustively) why the laws hold in
2. Prove that your monad satisfies the monad laws. First, give
examples illustrating specific cases in which the monad laws are
obeyed, then explain (briefly, not exhaustively) why the laws hold in