def bar(U: Type) -> Type:
  U