相关疑难解决方法(0)

有没有办法打印出嵌套变量的推断类型ghci？考虑一下代码,

let f = g where
    g (x :: Int) = x

然后,查询类型会很好g,例如:t f.g打印出来Int -> Int.