Use Effect synonym instad of yet-too-polymorphic Proxy