add explanatory note
remove pointless test arising from type system abuse
add todo note
factor out common code
rm todo note