Experiment: Unit testing isn't enough; You need static types, too