TypeError { type_message: InvalidFieldType(Label("y"), Type), context: TypecheckContext([]) }