Inductive Foo : Type -> Type := foo A : Foo A.
Goal True.
  remember Foo.