by the way this is my all-time favorite thing I've seen done in the rust type system so far

https://github.com/BurntSushi/byteorder/blob/fd3f15c08e2911dc60e4e6cb1986dc3736cd7e53/src/io.rs#L966-L968