How can different types share data? | Walking though the Elm woods