:: Ord a => [a] -> f a package:monadlist