Unique-m Very simple unique id Akh monad and monad transformer. Useful for implementing other structures.