A monad M can be seen as a type constructor for an abstract data type. Give the two operations which every monad must possess, along with their types.