StateT in progress. Left: MaybeT and Writer