ZM
Size: a a a
ZM
AD
ΛВ
AD
ΛВ
ΛВ
ΛВ
w
R
R
R
nonEmptyMap(arbitrary[String].flatMap(s => genValueAdt.map((s, _)))).map(FinalAdt(_)))
w
nonEmptyMap(arbitrary[String].flatMap(s => genValueAdt.map((s, _)))).map(FinalAdt(_)))
R
KS
nonEmptyMap(arbitrary[String].flatMap(s => genValueAdt.map((s, _)))).map(FinalAdt(_)))
R
V
w
ᛒ