f ∘ g ∘ g : Nat → Bool
id : Nat → Nat