{- # LANGUAGE FreeSections #-}  -- with GHC's -F you cannot...

  module S23 where

  -- Tests of default context inferencing.
  --
  -- This module won't compile, but you can examine the preprocessed code.

  sectA = zipWith  ( f __ y __ )
  sectB = zipWith _[ f __ y __ ]_
  sectC = zipWith  $ f __ y __
  sectD = zipWith ( f __ ( g __ z ) ) xs
  sectE = zipWith ( f __ $ g __ z ) xs
  sectF = zipWith $ f __ $ g __ z xs
  sectG = zipWith $ f __ $ g __ z
  sectH = f __ $ g __ z