That basically amounts to "I have learned Typescript and not Reason, therefore Typescript is better." I'm not a Reason pro, but it doesn't look magical to me.

That basically amounts to "I have learned Typescript and not Reason, therefore Typescript is better." I'm not a Reason pro, but it doesn't look magical to me. It seems just as explicit, and actually more so in the reducer example.