fb, eb));
      });
    }), (new bb()), db);
  });
  G = (function (db)
  {
    if ((db.Tag == 1.000000)) 
    {
      var eb = db.Item2;
      var fb = db.Item1;
      return eb;
    }
    else
    {
      throw ("List was empty");
      return null;
    };
  });
  H = (function (db, eb)
  {
    return I((function (fb)
    {
      return (function (gb)
      {
        if (db(fb)(gb)) 
        {
          return {Tag: 1.000000, Value: gb};
        }
        else
        {
          return {Tag: 0.000000};
 