This discourse post show some variants for debugging: Debug a failed derivation with `breakpointHook` and `cntr`