Module Q.
  Module N.
    Module K.
      Definition id := Set.
    End K.
  End N.
End Q.