Don't know erlang, but why can't the first example be

foo(bar) -> void; foo(_Else) -> undefined;