be a bit more liberal with respect to the universal sort -- it sometimes help
be a bit more liberal with respect to the universal sort -- it sometimes help

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle