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.