The potential implicit encoding/decoding here makes me nervous. Surely we know what types these are?