Add an EncodeWire instance for [Value a]