2
Termination checking failed for the following functions:
6
(at Productivity.agda:36,14-18)
8
(at Productivity.agda:37,14-20)
10
(at Productivity.agda:38,25-26)
12
(at Productivity.agda:38,28-29)
14
(at Productivity.agda:38,45-46)
16
(at Productivity.agda:38,47-51)