What needs to be defined in Groupoids for a and b?