type family Zip lst lst'

type family ZipWith f lst lst'