type-safe reversions
propellor spin