I heard ScopedTypeVariables is not in line to be added to the next standard. I thought it was a very innocuous extension, but apparently there are some reservations about it being difficult to add to certain alternate compiler types, and the committee wants to avoid favoring GHC&#x27;s current implementation over other current and future implementations.<p>I don&#x27;t know if this is written down anywhere; it came up in conversation with a committee member.