Mmmh I was under the vague impression that it's pr...
# arrow
c
Mmmh I was under the vague impression that it's preferable to use the more specific value of the ADT but I can't really recall the justification