I believe looking at the implementation of ”IO” is a sufficient example of ”neatly abstracted away”. There are practical implications to all IO: interrupts are

I believe looking at the implementation of ”IO” is a sufficient example of ”neatly abstracted away”. There are practical implications to all IO: interrupts are asynchronicity and they have failure modes, what if a network is down or a hard drive has to try a few times to read a sector? Abstractions only go so far. At least your program crashes when it runs out of memory.