dhall-1.24.0: dhall-lang/Prelude/Function/compose

{-
Compose two functions into one.

Examples:

```
./compose Natural Natural Bool (λ(n : Natural) → n + n) ../Natural/even 3
= True
```
-}
let compose
    : ∀(a : Type) → ∀(b : Type) → ∀(c : Type) → (a → b) → (b → c) → a → c
    =   λ(A : Type)
      → λ(B : Type)
      → λ(C : Type)
      → λ(f : A → B)
      → λ(g : B → C)
      → λ(x : A)
      → g (f x)

in  compose