Effect that indicates lack of guarantee of totality or determinism.
This is a psedo-effect. It functions as a type-level label only. It cannot be interpreted by the user.