TL;DR: I thought that if the following compiles:
implicitly[X => Y]
than so will this:
(??? :X) :Y
It turn
