@@ -1573,6 +1573,10 @@ collectDeferred top ctxt (Bind n (GHole i t) app) =
15731573 tidy ctxt env t | (f, args) <- unApply t,
15741574 P _ n _ <- getFn f
15751575 = fst $ specialise ctxt env [(n, 99999)] t
1576+ tidy ctxt env t@(Bind n (Let _ _) sct)
1577+ | (f, args) <- unApply sct,
1578+ P _ n _ <- getFn f
1579+ = fst $ specialise ctxt env [(n, 99999)] t
15761580 tidy ctxt env t = t
15771581
15781582 getFn (Bind n (Lam _) t) = getFn t