Fusion modules need support for refined data declarations with
existential types