applier inference TransitionSamples.kt:124:9: Type disagreement [Binding(350), [Binding(351)], [Binding(352)]] <=> [Binding(350), [Binding(350)]] applier inference TransitionSamples.kt:416:43: Type disagreement [Binding(437), [Binding(444)], [Binding(445)]] <=> [Binding(437), [Binding(437)]]