@sig(int/ H >> ["a"] >> ["a"])
def take(n, xs):
    """
    take :: Int -> [a] -> [a]

    take(n), applied to a list xs, returns the prefix of xs of length n, or xs
    itself if n > length xs
    """
    return xs[:n]
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/take/swapped operands of `/`