blob: 7e1552fb9cd7812a38fb0f5f1c1352e6cbb1d5fc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
{-# LANGUAGE RoleAnnotations #-}
module Imp100Aux where
data T1 a
data T2 a b
data T3 a b c
data T4 a b c d
data T5 a b c d e
data T6 a
data T7 a b
data T8 a b c
data T9 a b c d
data T10 a b c d e
type role T1 phantom
type role T2 phantom phantom
type role T3 phantom phantom phantom
type role T4 phantom phantom phantom phantom
type role T5 phantom phantom phantom phantom phantom
type role T6 phantom
type role T7 phantom phantom
type role T8 phantom phantom phantom
type role T9 phantom phantom phantom phantom
type role T10 phantom phantom phantom phantom phantom
|
