ambig3.l1:2: warning: variable defined but not referenced: y
ambig3.l1:3: warning: reference to unbound variable: dom