import "deep2a" as a;
import "deep2b" as b;
def f: [1, a::f, b::f];