fineshing writer monad activity