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