Здравствуйте, barn_czn, Вы писали:

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

_>showUniversal :: a->String

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

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

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


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

Никаким. Вам не нужно этого делать.
На самом деле, Haskell — это не Java и не Python. Не пытайтесь вывернуть его наизнанку.