Using OverloadedLists and applicative-quoters together.

ziplist.hs

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE OverloadedLists #-}
{-# LANGUAGE QuasiQuotes #-}

import GHC.Exts
import Control.Applicative
import Control.Applicative.QQ.Idiom

-- Note that this is an orphan instance.
instance IsList (ZipList a) where
  type Item (ZipList a) = a
  fromList = ZipList
  toList = getZipList

main = do
  (print . getZipList) [i| (+) [1,2,3] [4,5,6] |]
  (print . getZipList) [i| (+) (pure 7) [5..9] |]