content: -- !!! ds018 -- explicit lists and tuples (with disabled LARGE tuples!)
  --
  module ShouldCompile where
  
  -- exprs
  
  f x y z = [x,y,z,x,y,z]
  f2 x y  = []
  
  g1 x y  = ()
  
  {- Although GHC *should* provide arbitrary tuples, it currently doesn't
     and probably won't in the near future, so this test is only a reminder.
  
  g x y z = (x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z,
             x,y,z,x,y,z) -- hey, we love big tuples
  -}
  
  -- pats
  
  fa [a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z] = x
  
  fb [] = []
  
  {- See above
  ga (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z,
      aa,ab,ac,ad,ae,af,ag,ah,ai,aj,ak,al,am,
      an,ao,ap,aq,ar,as,at,au,av,aw,ax,ay,az) = x
  -}
  
  gb () x = x
  gb2 ()  = ()
  
  -- need to think of some better ones...
  