Hello, World!

In Type Challenges, we use the type system itself to do the assertion.

For this ch