module Language.Expression.Util where

(...) :: (c -> d) -> (a -> b -> c) -> (a -> b -> d)
(c -> d
f ... :: forall c d a b. (c -> d) -> (a -> b -> c) -> a -> b -> d
... a -> b -> c
g) a
x b
y = c -> d
f (a -> b -> c
g a
x b
y)