:: Int -> [a] -> Bool package:liquidhaskell-boot

(lengthAtLeast xs n) = (length xs >= n)