it is safer to construct the whole pattern from an untyped skeleton
in a top-down way, than to check the ghostness/mutability on each
constructor application.