Class C (A: Type) : Type := { f: A }.