with type-directed emit