GHCi 9.8 includes solved class contraints when printing `:type`
-- 9.6
λ> :type show @Int
show @Int :: Int -> String
-- 9.8
λ> :type show @Int
show @Int :: Show Int => Int -> String
-- 9.6
λ> :type show @Int
show @Int :: Int -> String
-- 9.8
λ> :type show @Int
show @Int :: Show Int => Int -> String