Debug: Calling typeclass resolution with flags: depth = ∞,unique = false,do_split = true,fail = false
Debug: Starting resolution with 32 goal(s) under focus and 0 shelved goal(s) in only_classes mode, unbounded
Debug: Launching resolution fixpoint on 32 goals:
?X294 : (Monad ?m6)
?X303 : (Monad ?m7)
?X314 : (Monad ?m8)
?X336 : (Monad ?m9)
?X345 : (Monad ?m10)
?X388 : (Monad ?T1)
?X397 : (Monad ?m2)
?X405 : (Monad ?m3)
?X420 : (Monad ?m)
?X430 : (Monad ?m20)
?X439 : (Monad ?m18)
?X445 : (Monad ?T7)
?X452 : (Monad ?m17)
?X461 : (Monad ?T8)
?X478 : (Monad ?T0)
?X486 : (Monad ?m4)
?X495 : (Monad ?T3@{c0:=cst_universes cb})
?X509 : (Monad ?m5)
?X543 : (Monad ?m0)
?X552 : (Monad ?T2)
?X565 : (Monad ?m1)
?X612 : (Monad ?m13)
?X620 : (Monad ?m12)
?X635 : (Monad ?m11)
?X652 : (Monad ?m14)
?X661 : (Monad ?T6)
?X674 : (Monad ?m15)
?X684 : (Monad ?m16)
?X694 : (Monad TemplateMonad)
?X704 : (Monad TemplateMonad)
?X714 : (Monad TemplateMonad)
?X756 : (Monad ?m19)
Debug:
Calling fixpoint on : 32 initial goals, 0 stuck goals and 0 non-stuck failures kept with no progress made in this run.
Stuck:
Failed:
Initial: Goal 1 evar: ?X294 status: initial
Goal 2 evar: ?X303 status: initial
Goal 3 evar: ?X314 status: initial
Goal 4 evar: ?X336 status: initial
Goal 5 evar: ?X345 status: initial
Goal 6 evar: ?X388 status: initial
Goal 7 evar: ?X397 status: initial
Goal 8 evar: ?X405 status: initial
Goal 9 evar: ?X420 status: initial
Goal 10 evar: ?X430 status: initial
Goal 11 evar: ?X439 status: initial
Goal 12 evar: ?X445 status: initial
Goal 13 evar: ?X452 status: initial
Goal 14 evar: ?X461 status: initial
Goal 15 evar: ?X478 status: initial
Goal 16 evar: ?X486 status: initial
Goal 17 evar: ?X495 status: initial
Goal 18 evar: ?X509 status: initial
Goal 19 evar: ?X543 status: initial
Goal 20 evar: ?X552 status: initial
Goal 21 evar: ?X565 status: initial
Goal 22 evar: ?X612 status: initial
Goal 23 evar: ?X620 status: initial
Goal 24 evar: ?X635 status: initial
Goal 25 evar: ?X652 status: initial
Goal 26 evar: ?X661 status: initial
Goal 27 evar: ?X674 status: initial
Goal 28 evar: ?X684 status: initial
Goal 29 evar: ?X694 status: initial
Goal 30 evar: ?X704 status: initial
Goal 31 evar: ?X714 status: initial
Goal 32 evar: ?X756 status: initial
Debug: considering goal 1 of status initial
Debug: 1: looking for (Monad ?m6) with backtracking
Debug: 1.1: exact TemplateMonad_Monad on (Monad ?m6) failed with: Cannot unify TemplateMonad and TemplateMonad
Debug: 1.1: exact option_monad on (Monad ?m6) failed with: Cannot unify option and option
Debug: 1: no match for (Monad ?m6), 2 possibilities
Debug: Goal 1 has no more solutions, returning exception: NoApplicableHint