Adapt test to avoid Typeable instance error
Add test for #8132