WIP, generalizing arrows