Template Haskell powered EncodeDecodeSpec implemented.