derivation-ok-restriction.5.4.1.2: Error for type 'aa....aa'. The content type of this type is mixed, but the content type of the base, 'bb....bb', is not.

This is an error for the type aa....aa. The content type of this type is mixed, but the content type bb....bb of the base is different.