Will types along to `Learn You Some Erlang For Great Good!`