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