What is an example for the tradeoffs between the type system's expressiveness & decidability?

Language Theory