我需要一个带有type的函数Pipe a b m r -> Pipe (a, c) (b, c) m r。
但是无论我玩多少for，~>还是>~; 我无法正确匹配类型。
你能帮助我吗？
我认为一般不可能。假设我们确实编写了它：
hypotheticalLift :: Pipe a b m r -> Pipe (a, c) (b, c) m r
应该hypotheticalLift (yield b)有什么行为？大概应该与yield (b, c)某些相同c-但是c，为什么？
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句