Abstraction of an event logger in the IO monad.
To be imported qualified, usually with the prefix LG.