unaryFunctorOps
selection
unify
Selection binaryFunctorOps
unwrap
Selection