pure_stack(T, V) isn't a type