[ positivity ] comments, micro refactor
[ termination ] micro refactor: use of applyWhen
[ comments only ] mutual defs does not include this
New aux Termination.RecCheck.anyDefs
New aux Termination.Monad.isCoinductiveProjection
[ issue 1209 ] Fixed by only counting recursive projections in copatterns
[ issue 1209 ] test case
Merge branch 'maint-2.4.0'