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