each datatype implements the "topmost" one, and if...
# arrow
p
each datatype implements the "topmost" one, and if you're using a Typeclass interface you choose which one you want