generated types.