ghc/compiler/tests/simplCore/simpl001.hs

   1 --!!! Desugaring sections with function-type arguments
   2 --
   3
   4 -- type Foo a b = a -> (b -> a) -> b
   5
   6 (++++) :: (a -> (b -> a) -> b) -> (a -> (b -> a) -> b) -> a -> (b -> a) -> b
   7 x ++++ y = y
   8
   9 g a xs = map (++++ a) xs
  10
  11 h b xs = map (b ++++) xs