Torturing Rustc by Emulating HKTs - Tech Sentiments