so no, you can’t restrict T to a more narrow subty...
# getting-started
y
so no, you can’t restrict T to a more narrow subtype