path: root/testsuite/tests/partial-sigs/should_compile/T18008.hs

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE PartialTypeSignatures #-}
module Bug where

f :: (forall a. Show a => a -> String) -> _
f s = s ()