Comment by abiox

what do you mean by "stronger types"?