显然唯一可能的解释runSomeMonad do ...是runSomeMonad (do ...).为什么不是Haskell语法允许的第一个变体？有些情况foo do bar可能实际上是模棱两可的吗？
runSomeMonad do ...
runSomeMonad (do ...)
foo do bar
syntax monads haskell do-notation
do-notation ×1
haskell ×1
monads ×1
syntax ×1