User blog comment:Alejandro Magno/Extension of the Alphabet Hierarchy/@comment-1605058-20141006144859

I don't think rules given here are enough to evaluate a&<&[A]>[A](x).