Flag to print explicit multiplicities?
It seems inconsistent that we have flags such as -fprint-explicit-kinds and -fprint-explicit-runtime-reps, but the way to show multiplicities is to turn on -XLinearTypes. Why not have a -fprint-explicit-multiplicities flag, perhaps implied by -XLinearTypes?
Apart from consistency, another motivation is that it would be nice to have a -fprint-explicit-everything flag that turns on all the -fprint-explicit-* options. It wouldn't make sense for this to turn on -XLinearTypes in its entirety though!