def all_(f, iterable):
    """
    all :: Foldable t => (a -> Bool) -> t a -> Bool
    Determines whether all elements of the structure satisfy the predicate.
    """
    for x in iterable:
        if not f(x):
            return False
    return True
