Is it possible to call one measure from another? [closed]
It looks like this is not possible because requiring measure A from measure B essentially causes measure A to be run when measure B is called. Am I missing something?