Whoops, isAtLeast should be

    | otherwise = isAtLeast (tail ls) (n-1)