@sig(H[(Eq, "a")]/ ["a"] >> ["a"] >> t(Maybe, ["a"]))
def stripPrefix(xs, ys):
    """
    stripPrefix :: Eq a => [a] -> [a] -> Maybe [a]

    The stripPrefix function drops the given prefix from a list. It returns
    Nothing if the list did not start with the prefix given, or Just the list
    after the prefix, if it does.
    """
    if isPrefixOf(xs, ys):
        return Just(ys[len(xs)])
    return Nothing
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/stripPrefix/original