blob: 952367512cfebc060d2a96342047fc747b312850 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE RoleAnnotations #-}
unit p where
signature A where
type role K nominal
data K a
instance Show (K Int)
instance Show (K Bool)
unit q where
module A where
type role T representational nominal
data T a b = MkT
deriving (Show)
type K = T ()
unit r where
dependency p[A=q:A]
|
