@sig(H[Integral, "i"]/ "i" >> ["a"] >> (["a"], ["a"]))
def genericSplitAt(n, xs):
    """
    genericSplitAt :: Integral i => i -> [a] -> ([a], [a])

    The genericSplitAt function is an overloaded version of splitAt, which
    accepts any Integral value as the position at which to split.
    """
    raise NotImplementedError()
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/genericSplitAt/original