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 TemplateMonad)
?X303 : (Monad TemplateMonad)
?X314 : (Monad TemplateMonad)
?X336 : (Monad TemplateMonad)
?X345 : (Monad TemplateMonad)
?X388 : (Monad TemplateMonad)
?X397 : (Monad TemplateMonad)
?X405 : (Monad TemplateMonad)
?X420 : (Monad TemplateMonad)
?X430 : (Monad TemplateMonad)
?X439 : (Monad TemplateMonad)
?X445 : (Monad TemplateMonad)
?X452 : (Monad TemplateMonad)
?X461 : (Monad TemplateMonad)
?X478 : (Monad TemplateMonad)
?X486 : (Monad TemplateMonad)
?X495 : (Monad TemplateMonad)
?X509 : (Monad TemplateMonad)
?X543 : (Monad TemplateMonad)
?X552 : (Monad TemplateMonad)
?X565 : (Monad TemplateMonad)
?X612 : (Monad TemplateMonad)
?X620 : (Monad TemplateMonad)
?X635 : (Monad TemplateMonad)
?X652 : (Monad TemplateMonad)
?X661 : (Monad TemplateMonad)
?X674 : (Monad TemplateMonad)
?X684 : (Monad TemplateMonad)
?X694 : (Monad TemplateMonad)
?X704 : (Monad TemplateMonad)
?X714 : (Monad TemplateMonad)
?X756 : (Monad TemplateMonad)
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 TemplateMonad) with backtracking
Debug: 1.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 1.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 1 has a success, continuing resolution
Debug:
Calling fixpoint on : 31 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 2 of status initial
Debug: 2: looking for (Monad TemplateMonad) with backtracking
Debug: 2.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 2.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 2 has a success, continuing resolution
Debug:
Calling fixpoint on : 30 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 3 of status initial
Debug: 3: looking for (Monad TemplateMonad) with backtracking
Debug: 3.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 3.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 3 has a success, continuing resolution
Debug:
Calling fixpoint on : 29 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 4 of status initial
Debug: 4: looking for (Monad TemplateMonad) with backtracking
Debug: 4.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 4.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 4 has a success, continuing resolution
Debug:
Calling fixpoint on : 28 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 5 of status initial
Debug: 5: looking for (Monad TemplateMonad) with backtracking
Debug: 5.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 5.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 5 has a success, continuing resolution
Debug:
Calling fixpoint on : 27 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 6 of status initial
Debug: 6: looking for (Monad TemplateMonad) with backtracking
Debug: 6.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 6.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 6 has a success, continuing resolution
Debug:
Calling fixpoint on : 26 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 7 of status initial
Debug: 7: looking for (Monad TemplateMonad) with backtracking
Debug: 7.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 7.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 7 has a success, continuing resolution
Debug:
Calling fixpoint on : 25 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 8 of status initial
Debug: 8: looking for (Monad TemplateMonad) with backtracking
Debug: 8.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 8.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 8 has a success, continuing resolution
Debug:
Calling fixpoint on : 24 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 9 of status initial
Debug: 9: looking for (Monad TemplateMonad) without backtracking
Debug: 9.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 9.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 9 has a success, continuing resolution
Debug:
Calling fixpoint on : 23 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 10 of status initial
Debug: 10: looking for (Monad TemplateMonad) without backtracking
Debug: 10.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 10.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 10 has a success, continuing resolution
Debug:
Calling fixpoint on : 22 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 11 of status initial
Debug: 11: looking for (Monad TemplateMonad) without backtracking
Debug: 11.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 11.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 11 has a success, continuing resolution
Debug:
Calling fixpoint on : 21 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 12 of status initial
Debug: 12: looking for (Monad TemplateMonad) without backtracking
Debug: 12.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 12.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 12 has a success, continuing resolution
Debug:
Calling fixpoint on : 20 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 13 of status initial
Debug: 13: looking for (Monad TemplateMonad) without backtracking
Debug: 13.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 13.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 13 has a success, continuing resolution
Debug:
Calling fixpoint on : 19 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 14 of status initial
Debug: 14: looking for (Monad TemplateMonad) without backtracking
Debug: 14.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 14.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 14 has a success, continuing resolution
Debug:
Calling fixpoint on : 18 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 15 of status initial
Debug: 15: looking for (Monad TemplateMonad) without backtracking
Debug: 15.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 15.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 15 has a success, continuing resolution
Debug:
Calling fixpoint on : 17 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 16 of status initial
Debug: 16: looking for (Monad TemplateMonad) without backtracking
Debug: 16.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 16.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 16 has a success, continuing resolution
Debug:
Calling fixpoint on : 16 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 17 of status initial
Debug: 17: looking for (Monad TemplateMonad) without backtracking
Debug: 17.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 17.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 17 has a success, continuing resolution
Debug:
Calling fixpoint on : 15 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 18 of status initial
Debug: 18: looking for (Monad TemplateMonad) without backtracking
Debug: 18.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 18.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 18 has a success, continuing resolution
Debug:
Calling fixpoint on : 14 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 19 of status initial
Debug: 19: looking for (Monad TemplateMonad) without backtracking
Debug: 19.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 19.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 19 has a success, continuing resolution
Debug:
Calling fixpoint on : 13 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 20 of status initial
Debug: 20: looking for (Monad TemplateMonad) without backtracking
Debug: 20.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 20.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 20 has a success, continuing resolution
Debug:
Calling fixpoint on : 12 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 21 of status initial
Debug: 21: looking for (Monad TemplateMonad) without backtracking
Debug: 21.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 21.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 21 has a success, continuing resolution
Debug:
Calling fixpoint on : 11 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 22 of status initial
Debug: 22: looking for (Monad TemplateMonad) without backtracking
Debug: 22.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 22.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 22 has a success, continuing resolution
Debug:
Calling fixpoint on : 10 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 23 of status initial
Debug: 23: looking for (Monad TemplateMonad) without backtracking
Debug: 23.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 23.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 23 has a success, continuing resolution
Debug:
Calling fixpoint on : 9 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 24 of status initial
Debug: 24: looking for (Monad TemplateMonad) without backtracking
Debug: 24.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 24.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 24 has a success, continuing resolution
Debug:
Calling fixpoint on : 8 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 25 of status initial
Debug: 25: looking for (Monad TemplateMonad) without backtracking
Debug: 25.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 25.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 25 has a success, continuing resolution
Debug:
Calling fixpoint on : 7 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 26 of status initial
Debug: 26: looking for (Monad TemplateMonad) without backtracking
Debug: 26.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 26.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 26 has a success, continuing resolution
Debug:
Calling fixpoint on : 6 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 27 of status initial
Debug: 27: looking for (Monad TemplateMonad) without backtracking
Debug: 27.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 27.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 27 has a success, continuing resolution
Debug:
Calling fixpoint on : 5 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 28 of status initial
Debug: 28: looking for (Monad TemplateMonad) without backtracking
Debug: 28.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 28.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 28 has a success, continuing resolution
Debug:
Calling fixpoint on : 4 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
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 29 of status initial
Debug: 29: looking for (Monad TemplateMonad) without backtracking
Debug: 29.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 29.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 29 has a success, continuing resolution
Debug:
Calling fixpoint on : 3 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
Initial: Goal 30 evar: ?X704 status: initial
Goal 31 evar: ?X714 status: initial
Goal 32 evar: ?X756 status: initial
Debug: considering goal 30 of status initial
Debug: 30: looking for (Monad TemplateMonad) without backtracking
Debug: 30.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 30.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 30 has a success, continuing resolution
Debug:
Calling fixpoint on : 2 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
Initial: Goal 31 evar: ?X714 status: initial
Goal 32 evar: ?X756 status: initial
Debug: considering goal 31 of status initial
Debug: 31: looking for (Monad TemplateMonad) without backtracking
Debug: 31.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 31.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 31 has a success, continuing resolution
Debug:
Calling fixpoint on : 1 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
Initial: Goal 32 evar: ?X756 status: initial
Debug: considering goal 32 of status initial
Debug: 32: looking for (Monad TemplateMonad) without backtracking
Debug: 32.1: exact TemplateMonad_Monad on (Monad TemplateMonad), 0 subgoal(s)
Debug: 32.1: after exact TemplateMonad_Monad finished, 0 goals are shelved and unsolved ( )
Debug: Goal 32 has a success, continuing resolution
Debug:
Calling fixpoint on : 0 initial goals, 0 stuck goals and 0 non-stuck failures kept with progress made in this run.
Stuck:
Failed:
Initial:
Debug: Result goals after fixpoint: 0 goals:
Debug: after eauto_tac_stuck: 0 goals:
Debug:
The tactic trace is: simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals;
                     simple refine TemplateMonad_Monad;shelve_goals;simple refine TemplateMonad_Monad;shelve_goals
Debug: Finished resolution with a complete solution.
Old typeclass evars not concerned by this resolution =
Shelf =
Debug: New typeclass evars are:

No more goals.