diary
erlang type