# program with a type error.

junk : (real, real) -> (real) = map (a, b; c: ()) [ ^ a = b ]