我有一个函数foo = \f x -> let c = \y -> x in f c，我已经通过类型推断找到了：
\forall a,b,r. ((b -> a) -> r) -> a -> r.
GHCI 确认此类型： foo :: ((p1 -> p2) -> t) -> p2 -> t
但是，我无法找到满足这些参数的适用函数，以便foo进行评估。
我尝试了以下功能但没有成功：
bu :: Num a => ([Char] -> a) -> a
bu x = (x "hello") * 2
ba :: (Fractional a1, Foldable t) => t a2 -> a1
ba x = (fromIntegral (length x) ) …