## Patchable

Infrastructure for writing patches which act on other types.