prototype: Generic whnf.