駄目だな。デコード側はキーレスとキー有りのnullの区別もできない。

4:56 PM

エンコード側は３種類の出力があるけどデコードは２種類（最も外側noneと最も内側some)しか扱えないと。