:: Ord a => [a] -> [a] is:exact -package:extra -package:incipit-base -package:safe -package:base-prelude -package:lifted-base -package:mono-traversable -package:hedgehog -package:integration -package:witherable package:vector

toList :: Vector v a => v a -> [a]
vector Data.Vector.Generic
O(n) Convert a vector to a list.