method map' : (r, 'e, 'a, 'b, 'D) map'mmethod pure' : (r, 'e, 'a, 'D) pure'mmethod pair' : (r, 'e, 'a, 'b, 'D) pair'mmethod branch' : (r, 'e, 'a, 'b, 'c, 'D) branch'mmethod bind' : (r, 'e, 'a, 'b, 'D) bind'mmethod zero' : (r, 'e, 'a, 'D) zero'mmethod alt' : (r, 'e, 'a, 'D) alt'm