Definition compose {A:Type} (g f:A -> A) (x:A) := g (f x).
Definition thrice {A:Type} (f:A -> A) := compose f (compose f f).
Use thrice for defining a function that adds 27 to any natural number, a function that multiplies any integer by 27 and a function that raises
any integer to its 27-th power.