Actually, we don't need the `Show` extractor at all. All we need is `Decode`.