Assuming that actual implicit tree resolution is linear, can the algorithm together with TypeApply be expotential?

Question

I am running into very unpredictable compiler behaviour when compiling a single, small test file against my project. It tests for the presence of implicit values of witness