6 class B
[G
] super A
[Int]
14 #1alt2#type T: A[Bool]
16 #1alt4#type T: B[Bool]
27 #alt1#if maybe then t = ai
28 #alt2#if maybe then t = ab
29 #alt3#if maybe then t = bi
30 #alt4#if maybe then t = bb
31 #alt5#if maybe then t = c
32 #alt6#if maybe then ai = t
33 #alt7#if maybe then ab = t
34 #alt8#if maybe then bi = t
35 #alt9#if maybe then bb = t
36 #alt10#if maybe then c = t
40 fun maybe
: Bool do return true