Add type-operators
Add Id effects
tmp