enum ProxyEff[_: Eff]
case Proxy
An enum that holds effect information where a witness is not available.