[Agda] pair list in lib ?

[Sergei Meshveliani]

Please, what  lib-0.7  has for the pair list ?
The one which in Haskell is expressed as 
 
    \ xs ys -> [(x , y) | x <- xs , y <- ys]

Thanks,

------
Sergei