假设我有一个类型的值Monad m => (m a, m a),我想"序列"该对以创建一个类型Monad m => m (a, a)的值,它以"序列"函数的相同方式组合两个值的monadic上下文.这样做有一些标准功能或标准方式吗?这项操作甚至有意义吗?
Monad m => (m a, m a)
Monad m => m (a, a)
monads haskell tuples sequence
haskell ×1
monads ×1
sequence ×1
tuples ×1