fromValue n (E.Vec xs)      = "["  <> fromList n (V.toList xs) <> "]"
fromValue n (E.Vec xs)      = "["  <> fromList n (V.toList xs) <> "]"
fromValue n (E.Vec xs)      = "["  <> fromList n (V.toList xs) <> "]"