@@ -279,6 +279,11 @@ execApp' env ctxt c@(EP (DCon _ arity) n _) args =
279279 let restArgs = drop arity args
280280 execApp' env ctxt (mkEApp c args') restArgs
281281
282+execApp' env ctxt c@(EP (TCon _ arity) n _) args =
283+ do args' <- mapM tryForce (take arity args)
284+ let restArgs = drop arity args
285+ execApp' env ctxt (mkEApp c args') restArgs
286+
282287execApp' env ctxt f@(EP _ n _) args =
283288 do let val = lookupDef n ctxt
284289 case val of