This should be illegal: `AssoicatedType[int]`
This should be illegal:
AssoicatedType[int]