Automatically generating types by running tests

Ruby