An effect is made up of parameters, techniques, and functions.
These are made up of id's, semantics, annotations, etc.