Inductive Foo (x := Type) := C : Foo -> Foo.