@@ -208,7 +208,7 @@ execApp env ctxt (f, args) = do newF <- doExec env ctxt f
208208 laziness <- (++ repeat False) <$> (getLaziness newF)
209209 newArgs <- mapM argExec (zip args laziness)
210210 execApp' env ctxt newF newArgs
211− where getLaziness (EP _ (UN "lazy") _) = return [True]
211+ where getLaziness (EP _ (UN "lazy") _) = return [False, True]
212212 getLaziness (EP _ n _) = do est <- getExecState
213213 let argInfo = exec_implicits est
214214 case lookupCtxtName n argInfo of