Aliases have their own problems. You may have to propagate the alias, or define different aliases with the same type all over the place. Then you have issues wi

Aliases have their own problems. You may have to propagate the alias, or define different aliases with the same type all over the place. Then you have issues with changing code. Complex composed types just have this issue to be honest, and personally I like having inference as a tool to avoid the litter.