Jon Pretty

To elaborate on this a little: the implicit TheInternet has no methods, no capabilities, and does nothing. But requiring it as an implicit forces awareness across the call stack and in every method signature of the need for network connectivity.https://twitter.com/propensive/status/1208452152563290112 …

And most importantly, there is no public constructor that people can use to cheat.

People can cheat. It isn’t used you can cast null into the value, use reflection or write a method to steal the Internet when you have it and supply it others later (by modifying a mutable store). This kind of thing can give guidance but it is impossible in scala to lock it down.

Yes, totally. It would require wilful circumvention, but it's not beyond most people's capabilities.