that gives you the full reified type (so full type...
# getting-started
n
that gives you the full reified type (so full type, and any types this might contain)