Syntax for types is correct