У меня мало успеха в том, чтобы обернуть голову вокруг основной сантехники типов, участвующих в рекламном пакете. Например, следующее работает отлично :import Numeric.AD ex ::Num a => [a] -&...

Я получаю сообщение об ошибке, что ограничение не входит в область действия, когда я пытаюсь написать простой пример, {- # LANGUAGE UndecidableInstances, MultiParamTypeClasses, KindSignatures,. ..