import type OK *a *b = No *a + Yes *b;
