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 fail' : (r, 'e, 'a, 'D) fail'mmethod tryin' : (r, 'e, 'f, 'a, 'b, 'D) tryin'm