tests/lean/coeM.lean.expected.out - third_party/github.com/leanprover/lean4 - Git at Google


            
            do

            
              let a ← liftM m

            
              pure a.val : ReaderT Int IO Nat

            
            do

            
              let a ← m

            
              pure a.val : EIO IO.Error Nat
	do
	let a ← liftM m
	pure a.val : ReaderT Int IO Nat
	do
	let a ← m
	pure a.val : EIO IO.Error Nat