Merge proposals

agda-stdlib in Ubuntu has no merge proposals.