Type checking more robust
merge