Typed stack with no thunks
Thunks with typed stack