I thought type parameters would shadow if they are...
# arrow
d
I thought type parameters would shadow if they are redefined, similar to variables