example code showing that ErrorT/MaybeT transformer order doesn't matter