ScalaSyd talk demonstrating advantage of introducing new data types over ordinary functions.