use monomorphic encoding as fallback, since they tend to produce fewer type errors
use monomorphic encoding as fallback, since they tend to produce fewer type errors

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