text: // Generated by psc version 0.9.1
  "use strict";
  var Data_Functor_Coproduct = require("../Data.Functor.Coproduct");
  var coproduct9of9 = function (v) {
      return Data_Functor_Coproduct.right(v);
  };
  var coproduct9of10 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v));
  };
  var coproduct8of9 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v));
  };
  var coproduct8of8 = function (v) {
      return Data_Functor_Coproduct.right(v);
  };
  var coproduct8of10 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)));
  };
  var coproduct7of9 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)));
  };
  var coproduct7of8 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v));
  };
  var coproduct7of7 = function (v) {
      return Data_Functor_Coproduct.right(v);
  };
  var coproduct7of10 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))));
  };
  var coproduct6of9 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))));
  };
  var coproduct6of8 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)));
  };
  var coproduct6of7 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v));
  };
  var coproduct6of6 = function (v) {
      return Data_Functor_Coproduct.right(v);
  };
  var coproduct6of10 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)))));
  };
  var coproduct5of9 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)))));
  };
  var coproduct5of8 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))));
  };
  var coproduct5of7 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)));
  };
  var coproduct5of6 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v));
  };
  var coproduct5of5 = function (v) {
      return Data_Functor_Coproduct.right(v);
  };
  var coproduct5of10 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))))));
  };
  var coproduct4of9 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))))));
  };
  var coproduct4of8 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)))));
  };
  var coproduct4of7 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))));
  };
  var coproduct4of6 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)));
  };
  var coproduct4of5 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v));
  };
  var coproduct4of4 = function (v) {
      return Data_Functor_Coproduct.right(v);
  };
  var coproduct4of10 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)))))));
  };
  var coproduct3of9 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)))))));
  };
  var coproduct3of8 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))))));
  };
  var coproduct3of7 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)))));
  };
  var coproduct3of6 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))));
  };
  var coproduct3of5 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)));
  };
  var coproduct3of4 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v));
  };
  var coproduct3of3 = function (v) {
      return Data_Functor_Coproduct.right(v);
  };
  var coproduct3of10 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))))))));
  };
  var coproduct2of9 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))))))));
  };
  var coproduct2of8 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)))))));
  };
  var coproduct2of7 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))))));
  };
  var coproduct2of6 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)))));
  };
  var coproduct2of5 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v))));
  };
  var coproduct2of4 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)));
  };
  var coproduct2of3 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v));
  };
  var coproduct2of2 = Data_Functor_Coproduct.right;
  var coproduct2of10 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.right(v)))))))));
  };
  var coproduct2 = Data_Functor_Coproduct.coproduct;
  var coproduct3 = function (a) {
      return function (b) {
          return function (z) {
              return Data_Functor_Coproduct.coproduct(coproduct2(a)(b))(z);
          };
      };
  };
  var coproduct4 = function (a) {
      return function (b) {
          return function (c) {
              return function (z) {
                  return Data_Functor_Coproduct.coproduct(coproduct3(a)(b)(c))(z);
              };
          };
      };
  };
  var coproduct5 = function (a) {
      return function (b) {
          return function (c) {
              return function (d) {
                  return function (z) {
                      return Data_Functor_Coproduct.coproduct(coproduct4(a)(b)(c)(d))(z);
                  };
              };
          };
      };
  };
  var coproduct6 = function (a) {
      return function (b) {
          return function (c) {
              return function (d) {
                  return function (e) {
                      return function (z) {
                          return Data_Functor_Coproduct.coproduct(coproduct5(a)(b)(c)(d)(e))(z);
                      };
                  };
              };
          };
      };
  };
  var coproduct7 = function (a) {
      return function (b) {
          return function (c) {
              return function (d) {
                  return function (e) {
                      return function (f) {
                          return function (z) {
                              return Data_Functor_Coproduct.coproduct(coproduct6(a)(b)(c)(d)(e)(f))(z);
                          };
                      };
                  };
              };
          };
      };
  };
  var coproduct8 = function (a) {
      return function (b) {
          return function (c) {
              return function (d) {
                  return function (e) {
                      return function (f) {
                          return function (g) {
                              return function (z) {
                                  return Data_Functor_Coproduct.coproduct(coproduct7(a)(b)(c)(d)(e)(f)(g))(z);
                              };
                          };
                      };
                  };
              };
          };
      };
  };
  var coproduct9 = function (a) {
      return function (b) {
          return function (c) {
              return function (d) {
                  return function (e) {
                      return function (f) {
                          return function (g) {
                              return function (h) {
                                  return function (z) {
                                      return Data_Functor_Coproduct.coproduct(coproduct8(a)(b)(c)(d)(e)(f)(g)(h))(z);
                                  };
                              };
                          };
                      };
                  };
              };
          };
      };
  };
  var coproduct1of9 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(v))))))));
  };
  var coproduct1of8 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(v)))))));
  };
  var coproduct1of7 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(v))))));
  };
  var coproduct1of6 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(v)))));
  };
  var coproduct1of5 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(v))));
  };
  var coproduct1of4 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(v)));
  };
  var coproduct1of3 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(v));
  };
  var coproduct1of2 = Data_Functor_Coproduct.left;
  var coproduct1of10 = function (v) {
      return Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(Data_Functor_Coproduct.left(v)))))))));
  };
  var coproduct10of10 = function (v) {
      return Data_Functor_Coproduct.right(v);
  };
  var coproduct10 = function (a) {
      return function (b) {
          return function (c) {
              return function (d) {
                  return function (e) {
                      return function (f) {
                          return function (g) {
                              return function (h) {
                                  return function (i) {
                                      return function (z) {
                                          return Data_Functor_Coproduct.coproduct(coproduct9(a)(b)(c)(d)(e)(f)(g)(h)(i))(z);
                                      };
                                  };
                              };
                          };
                      };
                  };
              };
          };
      };
  };
  module.exports = {
      coproduct10: coproduct10, 
      coproduct10of10: coproduct10of10, 
      coproduct1of10: coproduct1of10, 
      coproduct1of2: coproduct1of2, 
      coproduct1of3: coproduct1of3, 
      coproduct1of4: coproduct1of4, 
      coproduct1of5: coproduct1of5, 
      coproduct1of6: coproduct1of6, 
      coproduct1of7: coproduct1of7, 
      coproduct1of8: coproduct1of8, 
      coproduct1of9: coproduct1of9, 
      coproduct2: coproduct2, 
      coproduct2of10: coproduct2of10, 
      coproduct2of2: coproduct2of2, 
      coproduct2of3: coproduct2of3, 
      coproduct2of4: coproduct2of4, 
      coproduct2of5: coproduct2of5, 
      coproduct2of6: coproduct2of6, 
      coproduct2of7: coproduct2of7, 
      coproduct2of8: coproduct2of8, 
      coproduct2of9: coproduct2of9, 
      coproduct3: coproduct3, 
      coproduct3of10: coproduct3of10, 
      coproduct3of3: coproduct3of3, 
      coproduct3of4: coproduct3of4, 
      coproduct3of5: coproduct3of5, 
      coproduct3of6: coproduct3of6, 
      coproduct3of7: coproduct3of7, 
      coproduct3of8: coproduct3of8, 
      coproduct3of9: coproduct3of9, 
      coproduct4: coproduct4, 
      coproduct4of10: coproduct4of10, 
      coproduct4of4: coproduct4of4, 
      coproduct4of5: coproduct4of5, 
      coproduct4of6: coproduct4of6, 
      coproduct4of7: coproduct4of7, 
      coproduct4of8: coproduct4of8, 
      coproduct4of9: coproduct4of9, 
      coproduct5: coproduct5, 
      coproduct5of10: coproduct5of10, 
      coproduct5of5: coproduct5of5, 
      coproduct5of6: coproduct5of6, 
      coproduct5of7: coproduct5of7, 
      coproduct5of8: coproduct5of8, 
      coproduct5of9: coproduct5of9, 
      coproduct6: coproduct6, 
      coproduct6of10: coproduct6of10, 
      coproduct6of6: coproduct6of6, 
      coproduct6of7: coproduct6of7, 
      coproduct6of8: coproduct6of8, 
      coproduct6of9: coproduct6of9, 
      coproduct7: coproduct7, 
      coproduct7of10: coproduct7of10, 
      coproduct7of7: coproduct7of7, 
      coproduct7of8: coproduct7of8, 
      coproduct7of9: coproduct7of9, 
      coproduct8: coproduct8, 
      coproduct8of10: coproduct8of10, 
      coproduct8of8: coproduct8of8, 
      coproduct8of9: coproduct8of9, 
      coproduct9: coproduct9, 
      coproduct9of10: coproduct9of10, 
      coproduct9of9: coproduct9of9
  };
  