method map' : ('R, 'e, 'a, 'b, 'D) map'mmethod pure' : ('R, 'e, 'a, 'D) pure'mmethod pair' : ('R, 'e, 'a, 'b, 'D) par'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