Что такое «условие покрытия»?

Исходник для трансформатора Stateв мтл указывает:

-- ---------------------------------------------------------------------------
-- Instances for other mtl transformers
--
-- All of these instances need UndecidableInstances,
-- because they do not satisfy the coverage condition.

Что такое «условие покрытия»? Все, что я могу сказать, это то, что это как-то связано с MTPC и fundeps.