hls-tactics-plugin-1.8.0.0: new/test/golden/AutoThetaRankN.hs

{-# LANGUAGE RankNTypes #-}

showMe :: (forall x. Show x => x -> String) -> Int -> String
showMe f = f

showedYou :: Int -> String
showedYou = showMe (\x -> _)