haskell-src-exts-1.17.0: tests/examples/Rules.hs.prettyprinter.golden

module Main (main) where

{-# RULES
"head/build" forall (g :: forall b . (a -> b -> b) -> b -> b) .
             head (build g) = g (\ x _ -> x) badHead
 #-}