:: Ord a => [a] -> f a package:generic-data

Coerce while preserving the type index.