Use linear types in `Display`