So Let There Be Type