From dc5c2ab92a680361dd768e32d68e884c326a856c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Fri, 17 Dec 2021 15:59:04 +0100
Subject: [PATCH] chore: Add an HtmlT if we need more monads later on

---
 DocGen4/Output/Base.lean | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/DocGen4/Output/Base.lean b/DocGen4/Output/Base.lean
index 2e4b07a..cb1d7b0 100644
--- a/DocGen4/Output/Base.lean
+++ b/DocGen4/Output/Base.lean
@@ -19,7 +19,8 @@ structure SiteContext where
 
 def setCurrentName (name : Name) (ctx : SiteContext) := {ctx with currentName := some name}
 
-abbrev HtmlM := Reader SiteContext
+abbrev HtmlT := ReaderT SiteContext
+abbrev HtmlM := HtmlT Id
 
 def getRoot : HtmlM String := do (←read).root
 def getResult : HtmlM AnalyzerResult := do (←read).result