Break out effectful diff and patch into its own module
there are no fundeps in this module