:: [c] -> [b] -> [(c, b)] package:liquidhaskell-boot