db));
  });
  w = (function (db, eb)
  {
    return (new ab(db, eb));
  });
  x = (function ()
  {
    return (new bb());
  });
  y = (function (db, eb)
  {
    var fb = H(db, eb);
    if ((fb.Tag == 1.000000)) 
    {
      var gb = K(fb);
      return gb;
    }
    else
    {
      throw ("List did not contain any matching elements");
      return null;
    };
  });
  z = (function (db, eb, fb)
  {
    return A((function (gb)
    {
      return (function (hb)
      {
        return (function (ib)
        {