How do we specify type if we have code without manually written invocation of unapply, like:
val a(x, y) = b
or case a(x, y) => ...

Could you please write an example with explicit type arguments when outer tree is UnApply and its fun is treeInfo.Unapplied ?