Dry

A dry gate is a gate that has a specified type. It does not allow multiple types and simply pass them through – it requires that a certain type be specified and that type is preserved through the gate.