Use Generic to derive Binary instances
More Generic Binary instances
Cleaning up