I'm genuinely interested in examples of these reliable abstractions, or at least in some keywords I can look up.