f# - 解决类似泛型类型的运算符冲突

Question

我正在使用定义标准绑定(bind)运算符的第三方库 (Sauve.IO) >>= :

 val inline (>>=) : first:('T -> Async<'U option>) -> second:('U -> Async<'V option>) -> input:'T -> Async<'V option>

我还有一个内部库，它也想在类型签名上定义运算符

Async<Response<'a>> -> ('a -> Async<Response<'b>>) -> Async<Response<'b>>

在不违反内联函数重载限制的情况下，在同一个命名空间/模块中使用这两个函数的最简洁方法是什么？

Answer 1

将 Suave 的运算符重命名为其他一些中缀运算符如何？

let (>=>) = Suave.(>>=)

从签名来看，好像是没有bind吧，但实际上Kleisli composition .