implement LogOption in terms of StateT