無いのが正解だと思っていて、あった場合は型システムに一定の複雑さを抱えることになる