Pollux :
Ben non, comme je l'ai dit à mon avis c'est "by design" que c'est comme ça...

de toutes façons, comme j'ai dit, actuellement ça n'est pas possible facilement

et puis, pour expliciter que la fonction traite les classes de manière défférente, on pourrait imaginer d'écrire son type en mettant en évidence la disjonction, par exemple
(mother | daughter) -> ()