Eq, Ord, Show instances
Tests