Merge proposals

rapidcheck in Ubuntu has no merge proposals.