member val' definitions are only permitted in types with a primary constructor. Consider adding arguments to your type definition, ...