Consulta

No compila porque ahora para que algo sea instancia de Monad también tiene que ser instancia de Applicative (y Functor).
Solamente tenés que agregar estas líneas:

import Control.Monad

instance Functor Cont where
fmap = liftM

instance Applicative Cont where
pure = return
(<*>) = ap

saludos