edit lecture: add MaybeState example