diff --git a/src/Verifier/SAW/Simulator/SBV.hs b/src/Verifier/SAW/Simulator/SBV.hs
index 4548b13..627e721 100644
--- a/src/Verifier/SAW/Simulator/SBV.hs
+++ b/src/Verifier/SAW/Simulator/SBV.hs
@@ -611,7 +611,8 @@ vAsFirstOrderType v =
             t2 <- vAsFirstOrderType v2
             case t2 of
               FOTTuple ts -> return (FOTTuple (t1 : ts))
-              _ -> Nothing
+              _ -> return (FOTTuple [t1, t2])
+
     VRecordType tps
       -> (FOTRec <$> Map.fromList <$>
           mapM (\(f,tp) -> (f,) <$> vAsFirstOrderType tp) tps)