Proposal: built-in feature to detect communication errors

IMO it is nice idea to define pattern of process communication to eliminate errors and bugs,
mailboxer is that tool like dialyzer for communication checking,

you can see full video here :
Mailboxer:Early Detection of Erlang Communication Errors

main thread :
Mailboxer:Early Detection of Erlang Communication Errors- Phil Trinder & Duncan P. Attard |Code BEAM