Add external of (<+) typed for checks (TranslateH a ())