[
потому что в Cheat это указано
смотри, надеюсь ты понимаешь, что такое =>
ты можешь заменять => на -> спокойно в голове
type X r = Show r => Y r
f :: X r -> X r
это то же самое что
f :: (Show r => X r) -> (Show r => X r)
или
f :: (Show r -> X r) -> (Show r -> X r)