It's not crazy — it's having fun with types.
On the Architecture of a tool-set for interacting with character-oriented printers
On the design of a structured document format compatible with character oriented printers
Thoughts on a network protocol for a toolset for interacting with character-oriented printers
On the Design of a Parser
Building an Extensible Framework for Specifying Compile-Time Configuration using Universal Quantification
Deriving a Client Library for Interacting with Character-Oriented Printers