pop : datastructure item `AR_` Maybe item `P` datastructure item

Works for List, Nonempty List.