g f x
(g . f) x
g $ f x
g (f x) g f x
(g . f) x
g $ f x
g (f x)