risk: zipwithtail
risk: can bind
risk: invasion