Modules in frege.control.arrow