@sig(H[(Eq, "a")]/ ["a"] >> ["a"] >> bool)
def isInfixOf(xs, ys):
    """
    isInfixOf :: Eq a => [a] -> [a] -> Bool

    The isInfixOf function takes two lists and returns True iff the first list
    is contained, wholly and intact, anywhere within the second.
    """
    return any(isPrefixOf(xs), tails(ys))
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/isInfixOf/original