Merge proposals

haskell-type-equality in Ubuntu has no merge proposals.