Maybe some aliens out there have their own internet. But then is the internet just the sum of all intranets and thus in a way just the top-level intranet?

  data Intranet = Intranet [Intranet]