messing with the type stack