@sig(H/ (H/ "a" >> "a" >> "a") >> ["a"] >> "a")
def foldl1_(f, xs):
    """
    foldl1' :: (a -> a -> a) -> [a] -> a

    A strict version of foldl1
    """
    return foldl1(f, xs[0], xs[1:])
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/foldl1_/original