hls-tactics-plugin-1.1.0.0: test/golden/AutoThetaRankN.hs.expected
{-# LANGUAGE RankNTypes #-}
showMe :: (forall x. Show x => x -> String) -> Int -> String
showMe f = f
showedYou :: Int -> String
showedYou = showMe show
{-# LANGUAGE RankNTypes #-}
showMe :: (forall x. Show x => x -> String) -> Int -> String
showMe f = f
showedYou :: Int -> String
showedYou = showMe show