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

    The isSuffixOf function takes two lists and returns True iff the first list
    is a suffix of the second. The second list must be finite.
    """
    return xs == ys[-len(xs):]
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/isSuffixOf/original