Fix soundness bug in Effectize, which lead to missing effects in event handlers
Fix soundness bug in Effectize, which lead to missing effects in event handlers

tokenrove/urweb,tokenrove/urweb,tokenrove/urweb