Code is Engineering, Types are Science Juan Raphael Diaz Simões • Product Development, Product Strategy