def isSuffixOf(xs, ys):
    """``isSuffixOf :: Eq a => [a] -> [a] -> Bool``

    Returns True if the first list is a suffix of the second.  The second list
    must be finite.

    """
    return xs == ys[-len(xs):]