Here are examples of *functions* and *higher-order functions*. All signatures of functions are annotated with types and could be typechecked with mypy or pyright.
