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? da

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]