This definition may only be used in a type with a primary constructor. Consider adding arguments to your type definition, ...