typed_gate
