Generate non empty list of TyAbs arguments

Author: bladyjoker

lambda-buffers-compiler/test/Test/LambdaBuffers/Compiler/Gen.hs

@@ -111,7 +111,8 @@ genTyBodyOpaque = return $ defMessage & P.opaque .~ defMessage
 
 genTyAbs :: QC.Gen TyAbs
 genTyAbs = do
-  vns <- QC.chooseInt (0, limit) >>= vecOf genVarName
+  -- TODO(bladyjoker): Allow empty args
+  vns <- QC.chooseInt (1, limit) >>= vecOf genVarName
   args <- for (List.nub vns) genTyArg
   body <- genTyBody args
   return $