blob: b10bf324a5480341dfc4ebd8fd4ed647ddc32dae (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ImpredicativeTypes #-}
module T8428 where
import Control.Monad.ST
data IdentityT m a = IdentityT { runIdentityT :: m a }
runIdST :: IdentityT (forall s. ST s) a -> a
runIdST = runST . runIdentityT
-- Test formatting in the error message.
-- In fact this should be rejected as a kind error (#8388)
|