Bump `base` version to 4.9.0.0 (closes #11026)
[ghc.git] / testsuite / tests / typecheck / should_fail / TcStaticPointersFail03.hs
1 {-# LANGUAGE StaticPointers #-}
2
3 module StaticPointersFail03 where
4
5 import GHC.StaticPtr
6 import Data.Typeable
7
8 f1 :: (Typeable a, Typeable m, Monad m) => a -> m a
9 f1 = deRefStaticPtr (static return)