comments
HasConstArrow --> HasUnitArrow