Adding two files. Syntax and type-and-typeclasses.