Можете ли вы придумать определение функции f, чтобы выражение

($) f id

успешно проходило типизацию, а

flip ($) id f

вызывало ошибку типов?

Можно использовать языковые расширения GHC.