Comments. Start m-ops instances for each n-monad transformer
Example problems