derivation-ok-restriction.4.2: Error for type 'aa....aa'. The wildcard in the derivation is not a valid wildcard subset of the one in the base.

This is an error for the type aa....aa. The wildcard in the derivation is not a subset of the valid wildcard in the base.