Higher Order Programming in Erlang. A quest for a better general library.