Static types are for perfectionists

Scherzo in e-moll on programming and authenticity.