Type level programming: Dealing with ambiguous type error

Thanks all, indeed Proxys unblocked me here.

I will be avoiding RequiredTypeArguments for now; I tried them briefly and the behaviour around the scoping of names seemed wierd.