almost done post about monads