Add a test for #8083
T8083(ghci) fails