I guess what I was trying to say is that it makes it so easy to write down types, even really complex ones, that it kind of gives a safety net that lets us be m

I guess what I was trying to say is that it makes it so easy to write down types, even really complex ones, that it kind of gives a safety net that lets us be more creative in coming up with types than we might otherwise feel comfortable with. So we end up with really complex, 10-line types representing a single function's parameter list.