Without TRULY-THE, we often get non-ideal later transforms after commutation: type information is lost because we have to let convert everything and reflow types through.
Might be a win to just swap the combination's argument list in place.
Without TRULY-THE, we often get non-ideal later transforms after commutation: type information is lost because we have to let convert everything and reflow types through.
Might be a win to just swap the combination's argument list in place.