Types: Make Leaf's field strict