datatype foo = A | B;
fn A => 1;
