Есть ли штраф во время выполнения, связанный с классами типов?

Заголовок в значительной степени суммирует мой вопрос: есть ли штраф во время выполнения, связанный с классами типов Haskell, или это просто одна из тех вещей (например, фантомные типы) без каких-либо последствий во время выполнения?