Make EffExec kind-polymorphic again