Create a type like \* or any compatible with everything
Create a type like * or any compatible with everything