Получить список экземпляров в классе типов в Haskell

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

Это мне кажется, что компилятор должен знать эту информацию, чтобы проверять тип и скомпилировать код, поэтому есть ли способ сказать компилятору: эй, вы знаете эти экземпляры этого класса, поместите их список прямо здесь (в виде строк или что-то в этом роде).