arrows-RedSml