TypeA ::= SEQUENCE {
  a SEQUENCE (SIZE (2)) OF BOOLEAN
}

TypeB ::= SEQUENCE {
  a SEQUENCE (SIZE(2)) OF BOOLEAN
}

dcl a TypeA, b TypeB;
a!a := b!a
now rightfully raises an error, even if the types seem semantically
equivalent- they are two different types, and Ada would not compile
accept that.