notes from Friday and more thoughts on CBPV and on explicit
polymorphism