Discussion on: Magic refactoring with Unison: much more than a new programming language

[Saurabh Nanda]

Interesting. Would you know if Unison can differentiates between two "records" with the same fields?

data User = User { name :: Text, city :: Text }

data Company = Company { name :: Text, city Text }