:: (a -> Int) -> [a] -> Int package:boltzmann-samplers