Revert "Make EffExec kind-polymorphic again"

It doesn't really help, because w is the monad type in 'exec' anyway.

This reverts commit 91f3cf1b88f6ce92b64f0ef602b61fd95969c135.
monad-control instance for Proxied