Use fully typed duetto.upcast.collapsed intrinsic