Monadic Twin Merge