In this post I will present a simple language of type definitions, and use it as an example use-case for the Pprint library.