@@ -217,11 +217,7 @@ instance Show a => Show (List a) where
217 show' acc (x :: xs) = show' (acc ++ show x ++ ", ") xs
217 show' acc (x :: xs) = show' (acc ++ show x ++ ", ") xs
219instance Show a => Show (Vect n a) where
219instance Show a => Show (Vect n a) where
220− show xs = "[" ++ show' xs ++ "]" where
220+ show = show . toList
221− show' : Vect n a -> String
224− show' (x :: xs) = show x ++ ", " ++ show' xs
226instance Show a => Show (Maybe a) where
222instance Show a => Show (Maybe a) where
227 show Nothing = "Nothing"
223 show Nothing = "Nothing"