compose :: (b → c) → (a → b) → a → c
compose(F, Z, U) → F(Z(U))