support an effect hierarchy
Opened this issue · 0 comments
JonathanAldrich commented
Allow one effect to be defined as a sub-effect of another. For example, the f.write effect indicates a write on a particular file f. f.write should be a sub-effect of fileSystem.write, which represents a write to any file in the file system.
This mirrors how a FileNotFoundException is a subclass of IOException in Java.