I like the fact that there is a lib as TypeType. We're acknowledging something real, which is the fact some complex types may get annoyingly unreadable. I am just not sure about whether or not it actually helps enough.

Don't get me wrong, I'm all for ifs and elses against ternaries, I think it does make a difference. But I the cost of having a new lib that overlaps JS syntax again (on top of TS) is pretty high to me. I’m thinking about the cost of possible issues it generates plus the learning curve.

If I have a problem to generate a complex type I may someday even try to use the playground (https://mistlog.github.io/typetype-playground/) but I will probably not insert the lib into any project.

I also think that if one comes up with a lib whose sole purpose is to help making types, they should go further into making it easy to use and to learn. To me it seems it is the first stage of something interesting to come, like Gulp, that opened the way to something much better later, in this case Webpack and Parcel.