@sig(H/ ["a"] >> "a")
def head(xs):
    """
    head :: [a] -> a

    Extract the first element of a list, which must be non-empty.
    """
    return xs[0]
dataset/ETHPy150Open billpmurphy/hask/hask/Data/List.py/head/original