flix
enum ProxyEff[_: Eff]
case Proxy
Type of proxies that carry effect information where a witness is not available.