public class Monad<M> extends Endofuctor implements Monoid