IHP中的OverloadedLabels是什么，如何使用它？

在IHP中，OverloadedLabels是一个高级类型系统特性，它允许在代码中使用标签化的字段，以便更清晰地表达代码的意图。可以通过两种方式使用：一种是使用标签类型来表示每个字段，另一种是使用代表标签的Symbol类型的对象。

示例： 使用标签类型：

data Person = Person
    { name :: Text
    , age :: Int
    , address :: Text
    }

getPerson :: Person
getPerson = Person
    { name = "Jane Doe"
    , age = 30
    , address = "123 Main St."
    }
    
getName :: Person -> Text
getName person = person |> get #name

使用Symbol类型：

getName :: Person -> Text
getName person = person |> get (symbolToLabel @"name")