correct Moore diagonalization
Merge pull request #18 from fumieval/master

The `Monad` instance for `Moore` is inconsistent