3 ms·Types were invented for optimization and used for verification later, weren't they?by beza1e1 16y agoTypes were invented for optimization and used for verification later, weren't they?