blob: 6d531769abe879ab4bf36592230a5646c851c195 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE RoleAnnotations #-}
unit p where
signature A where
type role T nominal representational
data T a b
unit q where
signature A where
type role T representational nominal
data T a b = MkT
unit r where
dependency p[A=<A>]
dependency q[A=<A>]
|
