refactoring selectionType: TypeQ -> Type