Apologies - it looked like these types were being added at a glance. It is a pity though that there is no type level documentation explaining their motivation.