if 2 or more things use the things, they share a t...
# general
e
if 2 or more things use the things, they share a type