Well we'll know the runtime types of it all of course, so I'd know if it was a

Show<Foo<Boo>>

by introspecting the types. I don't know if that helps.