renanem :: to :|:
Add type test