关系查询 类型安全 记录转换

将Haskell关系记录查询转换为结构化结果，提供类型安全的数据处理流程。