simulation), a world (the intensionality monad), an integer (the
Jacobson-inspired link monad), etc. In this situation, it will be
enough for now to expect that our reader will expect a function of
simulation), a world (the intensionality monad), an integer (the
Jacobson-inspired link monad), etc. In this situation, it will be
enough for now to expect that our reader will expect a function of