上下文

《IHP指南》中有一节描述了他们对散列符号的使用：
https://ihp.digitallyinduced.com/Guide/helpful-tips.html
它提到以下内容：
写入#companyId相当于写入fromLabel @"companyId"。

实验

在示例blog应用程序中，如果我将以下内容添加到视图中：

{get #title post}

帖子的标题如预期显示。
现在，如果我将以下代码添加到视图中：

{get (fromLabel @"title") post}

页面无法正确呈现，并显示以下消息：

Web/View/Posts/Show.hs:11:33
    • 12:40:
   |
12 |         {get (fromLabel @"title") post}
   |                                        ^
"0\nSrcLoc \"\" 1 30\nParse error in expression: fromLabel@\"title\"\n"

问题

根据上面引用的文档中提到的内容，我似乎可以这样写：

get (fromLabel @"title") post

而不是：

get #title post

但这显然是行不通的。：-）
那么，我错过了什么呢？有没有一种写作方式：

get #title post

用fromLabel来表示

更新1

正如Fyodor在下面的评论中所建议的那样，我尝试了以下方法：

{show @Int 42}

这就是结果：

Web/View/Posts/Show.hs:11:33
    • 12:23:
   |
12 |         {show @Int 42}
   |                       ^
"0\nSrcLoc \"\" 1 13\nParse error in expression: show@Int\n"