do-notation for Category and "Arrow without arr" - View it on GitHub