Sort u →
  {α : Type u_4} →
    {β : Type u_5} →
      {A : SimpleGraph α} →
        {B : SimpleGraph β} →
          A.Copy B →
            {α' : Type u_4} → {β' : Type u_5} → {A' : SimpleGraph α'} → {B' : SimpleGraph β'} → A'.Copy B' → Sort u