Как показать, что монада является функтором и аппликативным функтором?

Монады, как известно, теоретически являются подмножеством функторов и, в частности, аппликативных функторов, хотя это не указано в системе типов Haskell.

Зная, что для данной монады и на основе return и bind , как:

• получить fmap ,
• получить <*> ?