Partial lens state in OptionT