back to state where all instance args are inferred OK with Agda 2.4.2. Have to figure out what caused Agda master to not infer stuff anymore