Devo implementar o Applicative e o Functor para implementar uma Mônada

Estou tentando implementar uma instância do Monad. Como um exemplo mais simples, assuma o seguinte: data Maybee a = Notheeng | Juust a instance Monad Maybee where return x = Juust x Notheeng >>= f = Notheeng Juust x >>= f = f x fail _ = ...