Ошибка получения монады Newtype

Я пытаюсь установить приложение Termite - Util, но получаю эта ошибка в строке 14

newtype CE m a = CE {unCE :: m a} deriving (Monad)

Ошибка говорит:

ContextError.hs: 14: 45: Нет экземпляра для (Applicative (CE m)), возникающего из предложения 'производного' объявления типа данных Возможное исправление: используйте автономное объявление 'производного экземпляра', чтобы вы могли указать контекст экземпляра самостоятельно При создании экземпляра для (Monad (CE m))

Я уже пробовал использовать решение, предложенное в CIS 194. : Домашнее задание 7

добавив это:

экземпляр Applicative (CE m), где pure = return (‹*>) = ap

но я снова получаю эту ошибку

ContextError.hs: 14: 45: Нет экземпляра для (Functor (CE m)), возникающего из предложения 'производного' объявления типа данных Возможное исправление: используйте автономное объявление 'производного экземпляра', чтобы вы могли указать контекст экземпляра самостоятельно При создании экземпляра для (Monad (CE m))

Я действительно не знаю, как действовать, я новичок в Haskell

Заранее спасибо.