Chains multiple transformations together, each of which can fail to change anything.
Derive a recursive instance over the functor transformed by EnvT by forgetting the annotation.
Derive a corecursive instance over the functor transformed by EnvT using the zero of the annotation monoid.
Make a partial endomorphism total by returning the argument when undefined.