The `Desorted` type had me confused everytime I looked at it, so now it's (hopefully) a bit more clear.