Ranges @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: @xs: @n: @res: @Returns: