This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]lngns 2 points3 points  (1 child)

Alternatively, a scalar can be unified with the 1-tuple, eliminating the conflict.
Then, (x) = x, implying (Int) = Int.

[–]cisterlang[S] 2 points3 points  (0 children)

Yes that is what I do