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

    splitAt(n, xs) returns a tuple where first element is xs prefix of length n
    and second element is the remainder of the list
    """
    return (xs[:n], xs[n:])
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/splitAt/swapped operands of `/`