Import Data.List
Add a decode'' function
Add a QuickCheck prop for encode''