@sig(["a"]/ H[(Eq, "a")] >> ["a"] >> bool)
def isSubsequenceOf(x, y):
    """
    isSubsequenceOf :: Eq a => [a] -> [a] -> Bool

    The isSubsequenceOf function takes two lists and returns True if the first
    list is a subsequence of the second list.

    isSubsequenceOf(x, y) is equivalent to elem(x, subsequences(y))
    """
    return elem(x, subsequences(y))


#=============================================================================#
# Searching lists
## Searching by equality
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/isSubsequenceOf/swapped operands of `/`