> every attempt I've seen makes widespread use of `unsafe', so the value mostly comes from Rust's modern type system with its traits and enums.

http://os.phil-opp.com/ follows the Rust way of making safe abstractions as much as possible.