Correct typo in MonadTransformers section#255

414owen wants to merge 1 commit into

leanprover:masterleanprover/fp-lean:masterfrom

414owen:os/past-participle-build414owen/fp-lean:os/past-participle-buildCopy head branch name to clipboard