sensei
sensei copied to clipboard
Improve quick-fix support for "term-level use of type constructors"