Putting it all together

Typed Main programs are just programs.

With signatures, they're also just functions.

We can use this to compose multiple programs together.