:: Ord a => [a] -> f a package:vector-extras