blob: 83b04d9617460b82628be61d555dfb0e54dc4bb4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilies, RankNTypes, ScopedTypeVariables, KindSignatures #-}
module T4310 where
import GHC.ST
import Data.Kind (Type)
type family Mutable a :: Type -> Type -> Type
data New v a = New (forall s. ST s (Mutable v s a))
create :: (forall s. ST s (Mutable v s a)) -> New v a
create = New
|