No need for Handler constraints on effectful ops

They are required on 'run' anyway - having them on the functions here
does no more than add noise to the type.