hls-tactics-plugin-1.2.0.0: test/golden/AutoThetaRankN.expected.hs

{-# LANGUAGE RankNTypes #-}

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

showedYou :: Int -> String
showedYou = showMe show