@sig(H/ (H/ "b" >> "a" >> "b") >> "a" >> ["a"] >> "b")
def foldl_(f, z, xs):
    """
    foldl_ :: (b -> a -> b) -> b -> [a] -> b

    A strict version of foldl.
    """
    return foldl(f, z, xs)
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/foldl_/original