haskell - 有没有更简单的方法来“提取”类型文字？

Question

这有效：

{-# LANGUAGE DataKinds, PolyKinds, KindSignatures, GADTs #-}

import GHC.TypeLits

data F :: Symbol -> * where
    F :: F s


unF :: SingI s =>  F s -> String
unF g = fromSing $ s g where
    s :: SingI s => F s -> Sing s
    s _ = sing

val :: F "val"
val = F

main = print $ unF val -->> "val"

我可以在没有嵌套函数的情况下以某种方式编写 unF 吗？我通常这样做“正确”吗？