VEC: use *** arrow to simplify
PRELUDE: simplify 'first'
PRELUDE: fix doc of tailInit
VEC: simplify type signature of onPT