You don't need to annotate function definitions with types, but you should actually annotate your composite type definitions with concrete (parametric) types fo

You don't need to annotate function definitions with types, but you should actually annotate your composite type definitions with concrete (parametric) types for each field.