Add executables/monad-law