slightly_better_types
tests
