Why the type ascription?