cond tweak
HasConstArrow --> HasUnitArrow