diff --git a/src/Data/Problem.idr b/src/Data/Problem.idr
index 447e986..0cb1b04 100644
--- a/src/Data/Problem.idr
+++ b/src/Data/Problem.idr
@@ -80,10 +80,10 @@ solutionName (Pr day part) =
 
 public export
 fetchSolution : Problem -> Elab (String -> String)
-fetchSolution pr = do
+fetchSolution pr =
   let name = solutionName pr
-  check `(\s => Prelude.show (~(IVar EmptyFC name) s))
-    <|> fail "\{show name} does not exist as a valid solution"
+  in check `(\s => Prelude.show (~(IVar EmptyFC name) s))
+      <|> fail "\{show name} does not exist as a valid solution"
 
 public export
 fetchAllSols : (latest : Problem) -> Elab (SortedMap Problem (String -> String))