Flesh out stack values within ADTs