updated answers for monads chapter and for io chapter