Reflecting on a Type parameter

I am trying to create a function

import Language.Reflection
foo : Type -> TT

I tried it by using the reflect tactic:

foo = proof
  {
    intro t
    reflect t
  }

but this reflects on the variable t itself:

*SOQuestion> foo
\t => P Bound (UN "t") (TType (UVar 41)) : Type -> TT