Lower precedence for {-# UNPACK #-}
[ghc.git] / testsuite / tests / typecheck / should_fail / T13311.hs
1 {-# LANGUAGE RankNTypes #-}
2 module T13311 where
3
4 f :: forall a. (Monoid a) => forall b. (Monoid b) => Maybe a -> Maybe b
5 f _ = mempty
6
7 g :: IO ()
8 g = do
9 f
10 putChar 'a'