Include parameters in destructive type substitutions