Added isIdentityArrow for Groupoid.