Implement Example.unnaply for pattern matching