Abstract type that must be used in definitions of effect's operations.
Becomes an alias of Computation (i.e. same as !!), once the signature is inherited from Effect.
!!
Effect
Becomes an alias of this.type, once the signature is inherited from Effect.
this.type