Hmm, I'm not sure of the details, but I very much remember encountering type errors based on what data path was taken. Playing around now I think the typical c

Hmm, I'm not sure of the details, but I very much remember encountering type errors based on what data path was taken. Playing around now I think the typical case is more as you described. I might revisit when I'm better rested.