instance Eq a => Eq (List a) where
　Nil == Nil = True
　Cons x xs == Cons y ys = x == y && xs == ys
　_ == _ = False