Specify the final types by default.