Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
[ghc.git] / testsuite / tests / typecheck / should_compile / T12797.hs
1 {-# LANGUAGE NoMonomorphismRestriction #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE DataKinds #-}
4 {-# LANGUAGE ExtendedDefaultRules #-}
5
6 module T12797 where
7
8 import Prelude
9 import Control.Monad.IO.Class
10
11 type family FuncArg (m :: (* -> *)) :: Maybe *
12
13 test2 :: (MonadIO m, FuncArg m ~ 'Nothing) => m ()
14 test2 = liftIO $ print 6
15