@hackage / rewriting

Generic rewriting library for regular datatypes.