Lab 11 (Monads) done!