Haskell:从类型推导函数

所以我今天和Haskell一起玩,考虑自动生成给定类型的函数定义。

例如,函数的定义

twoply :: (a -> b, a -> c) -> a -> (b, c)

对我来说是显而易见的(如果我排除使用 undefined :: a ).

¢ :: a -> (a ->b) -> b
¢ = flip ($)

(¢) ¢ ($) :: a -> (a -> b) -> b

=::= x =::= x x ($) 唯一地定义 x ? 必须 x =::= ¢ 十 ?

推断 x :: a -> (a -> b) -> b ,但陷入了困境。