Хочу написать вот такое:

showUniversal :: a->String

Но при этом никак не ограничивать тип а.

Т.е. чтото вроде

showUniversal x = (Show x) => show x
showUniversal _ = undefined


Как? Каким образом внутри патерн матчинга проверить что переменная имплементирует класс Show ?