Draft document for Hindley-Milner live-coding.