Class Identity.monad

Base Identity interpreter dictionary.

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