Testcase #8565 no longer broken

at least with ImpredicativeTypes enabled in this module.