Prelude> :t (\f g -> g (\x -> f x)) :: (a -> b) -> ((a -> b) -> b) -> b (\f g -> g (\x -> f x)) :: (a -> b) -> ((a -> b) -> b) -> b :: (a -> b) -> ((a -> b) -> b) -> b
Other options:
no subject
В системах в стиле Карри терму можно приписать бесконечное множество типов.