First version of the typed fusion algorithm