but we could accept some Type token or other thing...

# reflect

[apatrida]

but we could accept some Type token or other thing to say "hey, we are capturing type here" instead of having it more subtle