groupoid/arend not found