Well-typed system for generating documents in multiple formats - View it on GitHub