I would like to create a type to check if all attributes of an interface are given. The attributes can