put package:effectful-core

Set the current state to the given value.
Set the current representation of the effect to the given value.
Replace the data type in the environment with a new value (in place).