[Nevermark]

There is no language (yet) which makes fine-tuned for-purpose abstractions, of all familiar kinds, both trivial to specify and performant to run/compile.

So anyone coding anything interesting is almost certainly under or over using their languages' and libraries' abstractions.

Also, for highly composable languages, where null versions of almost anything make sense: Stateless states, operationless operations, destinationless network ports, storage roots not associated with any hardware, just "0 bytes", ... all make practical sense.