Я ща пытаюсь сообразить "без инстанса" это "нигде нет instance K T" или в смысле "в функцию не передается значение типа Т, для которого есть instance K T, а-ля minBound :: Int".
Я ща пытаюсь сообразить "без инстанса" это "нигде нет instance K T" или в смысле "в функцию не передается значение типа Т, для которого есть instance K T, а-ля minBound :: Int".