@@ -246,6 +246,12 @@ irTerm vs env tm@(App _ f a) = do
246 | r == txt "replace"
246 | r == txt "replace"
247 -> irTerm vs env arg
247 -> irTerm vs env arg
249+ -- 'void' doesn't have any pattern clauses and only gets called on
250+ -- erased things in higher order contexts (also a TMP HACK...)
249 -- Laziness, the old way
255 -- Laziness, the old way
250 (P _ (UN l) _, [_, arg])
256 (P _ (UN l) _, [_, arg])
251 | l == txt "lazy"
257 | l == txt "lazy"