1 --!!! Desugaring sections with function-type arguments
2 -- Although this is really a desugaring test, the problem is
3 -- only tickled by the simplifier
5 -- type Foo a b = a -> (b -> a) -> b
8 (++++) :: (a -> (b -> a) -> b) -> (a -> (b -> a) -> b) -> a -> (b -> a) -> b
11 g a xs = map (++++ a) xs
13 h b xs = map (b ++++) xs