Tuple/list unpacking has been in Python for a long time and likely has nothing to do with catering to the functional crowd, which Guido isn't known for to begin with. Anyway...

> * You can't nest, like it was mentioned

    ((x1, y1), (x2, y2)) = makeLine ...

This works fine in Python:

    ((x1,y1), (x2,y2)) = ((1,2),(3,4))

I don't know what "makeLine ..." returns, but if it doesn't exactly match the tuples on the left hand side, it won't fly in Haskell either.

> * You can't use aliases

    line@(point1@(x1, y1), point2@(x2, y2)) = makeLine ...

No, but this works:

    line = p1, p2 = ((x1,y1), (x2,y2)) = ((1,2), (3,4))

and is more readable IMHO.

Point 3, 4 and 5 don't make sense in Python. This is pattern matching, not tuple/list unpacking. (One could argue that tuple unpacking is a form of pattern matching, but that is a different story...)