diff --git a/src/Data/Problem.idr b/src/Data/Problem.idr
index 3f5300d..447e986 100644
--- a/src/Data/Problem.idr
+++ b/src/Data/Problem.idr
@@ -82,22 +82,24 @@ public export
 fetchSolution : Problem -> Elab (String -> String)
 fetchSolution pr = do
   let name = solutionName pr
-  check `(\s => show (~(IVar EmptyFC name) s))
+  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))
 fetchAllSols pr =
   let prs = allProblems pr
-      list = foldr (\pr,tt => `(Prelude.(::)
-                                (Builtin.MkPair
-                                 (Data.Problem.Pr
-                                  (Prelude.fromInteger
-                                   ~(IPrimVal EmptyFC $ BI $ natToInteger pr.day))
-                                  ~(case pr.part of
-                                      Part1 => `(Data.Problem.Part1)
-                                      Part2 => `(Data.Problem.Part2)))
-                                 (\s => show (~(IVar EmptyFC $ solutionName pr) s)))
-                                ~(tt))) `(Prelude.Nil) prs
+      list = foldr
+              (\pr,tt =>
+                `(Prelude.(::)
+                  (Builtin.MkPair
+                    (Data.Problem.Pr
+                    (Prelude.fromInteger
+                      ~(IPrimVal EmptyFC $ BI $ natToInteger pr.day))
+                    ~(case pr.part of
+                        Part1 => `(Data.Problem.Part1)
+                        Part2 => `(Data.Problem.Part2)))
+                    (\s => Prelude.show (~(IVar EmptyFC $ solutionName pr) s)))
+                  ~(tt))) `(Prelude.Nil) prs
       ttimp = `(Data.SortedMap.fromList ~(list))
   in check ttimp