Derive Eq, Show instances manually
More tests