dup is join
Add type signatures