Finished Logger Functor/Applicative/Monad