Add sample instances for Eq and List