type-error-expected-type

(type-error-expected-type condition)

type-error コンディションの expected-type スロット — datum が満たさなかった型指定子です。type-error-datum も参照してください。