Type Directives and Type Graphs in Elm. - Falco Peijnenburg; Jurriaan Hage; Alejandro Serrano 001 (IFL, 2016)