blob: cb18e3602904bae015eb399bbb49b8809a8617e9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilies, KindSignatures, GADTs, GeneralizedNewtypeDeriving #-}
module T14045b where
import Data.Kind ( Type )
data family T a b :: Type
-- newtype instance T Int d = MkT (IO d)
newtype instance T Int :: Type -> Type where
MkT :: IO d -> T Int d
deriving( Monad, Applicative, Functor )
|
