Refactor HeistConfig to preserve monoid instance