@@ -50,9 +50,10 @@ putStrLn s = putStr (s ++ "\n")
5050getStr : Handler StdIO e => Eff e [STDIO] String
5151getStr = GetStr
5252
53−mkStrFn : Eff IOStream xs a -> Env IOStream xs ->
53+mkStrFn : Env IOStream xs ->
54+ Eff IOStream xs a ->
5455 List String -> (a, List String)
55−mkStrFn {a} p env input = case mkStrFn' of
56+mkStrFn {a} env p input = case mkStrFn' of
5657 MkStream f => f input
5758 where mkStrFn' : IOStream a
5859 mkStrFn' = runWith injStream env p