This version does a merge even if the deco is already computed. Necessary for types that have a deco, but are not merged.
This version does a merge even if the deco is already computed. Necessary for types that have a deco, but are not merged.