# programa com um erro de tipos (para despoletar tratamento de erros).

lixo : (int, int) -> (int) = map (a, b; c: ()) [ ^ a = b ]