Pure logger typeclass and monad transformer