No need for @type when using @const