Tiny instructive Erlang programs