From d022093e5c3a7e19dcc44feb705364721a8e76ae Mon Sep 17 00:00:00 2001
From: Conor McBride <conor@strictlypositive.org>
Date: Mon, 25 Nov 2024 07:50:51 +0000
Subject: [PATCH] fix neutral radical application

---
 lib/Language/Ask/Typing.hs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/Language/Ask/Typing.hs b/lib/Language/Ask/Typing.hs
index e0efb83..88dbebd 100644
--- a/lib/Language/Ask/Typing.hs
+++ b/lib/Language/Ask/Typing.hs
@@ -101,6 +101,7 @@ hnfSyn' (t ::: ty) = do
   return (t ::: ty)
 hnfSyn' (f :$ s) = hnfSyn f >>= \case
   (TB b ::: TC "->" [dom, ran]) -> return ((b // (s ::: dom)) ::: ran)
+  (TE e ::: _) -> return (e :$ s)
   f -> return (f :$ s)
 hnfSyn' e | track ("HNFSYN " ++ show e) True = return e