blob: 892340e5ab3f8a83c8f0480cce5797ffde351378 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE AllowAmbiguousTypes, RankNTypes, TypeFamilies, KindSignatures #-}
-- The type of 'run' is actually ambiguous
module T5934 where
import Control.Monad.ST
data Gen s
type GenST s = Gen (PrimState (ST s))
run :: (forall s. GenST s) -> Int
run = 0
type family PrimState (m :: * -> *)
|