Some tests pass using single import
No more [T: Numeric]
Everything should be acyclic