An effect is a category of behavior that a function can exhibit. The application of exclusive effects to a function has a hierarchy, with effects higher in the hierarchy permitting at least all the behavior of effects below them. The hierarchy is:
transactsvariescomputesconverges
The transacts effect will include properties for the effects below, the varies effect includes the computes and converges effects but not transacts, and so on.