Extend CaseExport monad to include logging facilities (not used yet)