я щас побуду долбаебом, но для аппликативных функторов можно об\явить traversal операцию Вот пример из хачкеля http://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Traversable.html
let a = async { return Some 1 } let b = async { match! a with | Some a -> return Some a | None -> return None }
так сигнатура не такая
Обсуждают сегодня