0
您是否看到一种方法来指定我的结果类型必须是MonadType <参数类型>在此接口内?使用自由绑定泛型类型作为类型参数
interface IMonad<MonadType> // where MonadType : GenricType<>
{
MonadType<T1> unit<T1>(T1 t)
Func<MonadType<T1>, MonadType<T2>> map<T1, T2>(Func<T1, T2> f);
}
我得到的错误: 类型参数“MonadType”不能与类型参数