## Patch

Infrastructure for writing patches which act on other types.