小编Pau*_*oks的帖子

例如,我有以下功能:

foo :: t -> f
foo var = foo' b var
    where
        b = bar 0.5 vect

我需要指定文字'0.5类型 - 't'

如果我写smth.比如(0.5::t),GHC创建新的类型变量't0',它与原始't'不对应.

我写了一个小函数

ct :: v -> v -> v
ct _ u = u

并像这样使用它:

b = bar (ct var 0.5) d

有没有更好的解决方案？