Step by step guide to using EYG types, effects and packages from erlang.