continuous-integration/drone/push Build is passingDetails
Hopefully the new section will be helpful, given that it can be
a bit confusing to get started with Statix. With this commit,
the background is established and the stage is set to
dive into type checking.