Oℕ
Size: a a a
Oℕ
λ
Oℕ
S
[error] ***.scala:102:26: error during expansion of this match (this is a scalac bug).
[error] The underlying error was: type mismatch;
[error] found : x6.value.type (with underlying type ?R2)
[error] required: R
[error] (these, other) match {
[error] ^
S
DM
AV
AV
A
AT
A
AT
AT
AV
AG
AV
AV
AT
AT
AT