рассмотрим эту реализацию on на f g = curry $ (. bimap g g) $ uncurry f Каков его тип? GHC сказал бы (b -> b -> c) -> (a - > b) - > а - > а - > с, и это хорошее предположение. ...